On 5/3/2021 5:09 PM, Victor Stinner wrote:
Hi,
Please don't attempt to merge PRs until the GitHub issue described
below is solved ;-)
Pablo renamed the default "master" branch to "main" (in a live Twitch
stream ;-)) but got a GitHub internal error! Maybe it's because the
dialog announced that 1.4k+ pull requests and 700+ repositositories
will be impacted which is not a common case. Right now, there are
"main" and "master" branches.
I reported the issue to GitHub Support forum:
https://github.community/t/renaming-python-master-branch-to-main-1-4k-prs-700-repositories-triggered-server-http-error-500/178090
Perhaps github should either adjust the timeout to the known work to be
performed or break the work into batches suitable to the timeout.
_______________________________________________
python-committers mailing list -- python-committers@python.org
To unsubscribe send an email to python-committers-le...@python.org
https://mail.python.org/mailman3/lists/python-committers.python.org/
Message archived at
https://mail.python.org/archives/list/python-committers@python.org/message/OGRJLRPNZKAEYIJ62ALTCVKXJ6CR7IA3/
Code of Conduct: https://www.python.org/psf/codeofconduct/
