Re: Did not notice
> I noticed when I tried to create a PR
PR = pull request?
I am not and never was a Github user but isn't pull request their fancyspeak for "merging two (and exactly two) branches together"?
Serious question: why couldn't you just go "git merge the-other-branch"? If I understand your situation correctly, that's what I would have done in my environment, which is supported by, but not dependent on, two code forges (Gitlab and Gitea).
Interested under what circumstances an upstream repo being down would cause the show to stop.