On Wed, Sep 15, 2021 at 9:40 PM Fabio Valentini <decathorpe(a)gmail.com> wrote:
Thanks, that did the trick.
But of course somebody built stuff during the side-tag window and now
it can't be pushed. *le big sigh*
This seems to happen every time there is a
large(ish) side-tag. I do wish that (probably
using a server side git push hook) there was
a `fedpkg lock` command that would block
accidental pushes for the appropriate branch
due to various missed emails, or automated
activities (with the corresponding `fedpkg
unlock` of course). Ah well, one can dream.