GitHub has recently started having serious reliability issues for pushing a bunch of changes across multiple repositories such as tagging a GrapheneOS release.
It just says the remote rejected the push. Might be some kind of rate limit but it's not being done in parallel...
Conversation
Replying to
One of these days I'll actually set up my own git server and have my GitHub be a mirror to it..
Some day, because I'm lazy.