On Wed, Sep 15, 2021 at 9:40 PM Fabio Valentini <[email protected]> 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. _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected] Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
