Okay, that takes care of one of my reservations. The long waiting time is still an issue of concern for me. One thing that would be great, though, would be to push it manually pre-release. I guess that’s kind of achieved by triggering only on tags.
Another point to consider: if we’re using GH Actions for this, should we switch over to those completely? To ease the (mental) maintenance burden?
Matthias Koeppe <mko...@math.ucdavis.edu
> Just a quick comment below.
> On Sat, Jun 27, 2020 at 8:43 AM Martin R. Albrecht
>> I’m personally inclined not to merge this one because
>> - The dependency on a “private” repo: “mkoeppe/sage”
> This will revert to repo sagemath/sage as soon as
is merged into the next Sage
> beta. (This is waiting for an fplll release.)