On Sun, Dec 15, 2024 at 07:16:50AM -0800, Andrea Bolognani wrote: > Hi, > > I created [1] yesterday using the Web UI button but the result seems > stuck in some weird in-between state. > > A banner is displayed prominently on top of the page: > > The permissions on this repository are being updated. This may take > a while. During this time, you or some of the project's > contributors may not be able to push to this repository. > > Well it's been more than 12 hours now :) > > Moreover I can see that [2], which has been created several days > before my fork, is also in the same state. > > I tried deleting the fork, but I'm not allowed to do that either: the > button under Setting simply doesn't react to being clicked. > > How do I get the fork unstuck?
Usually: file an infrastructure ticket. This seems to be some kind of race and we have seen it before. We can use an admin tool to reset the state and you can delete and re-create the fork. I have now done that on this fork... so, delete it and refork and things should work. kevin
signature.asc
Description: PGP signature
-- _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org 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/devel@lists.fedoraproject.org Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
