Re: Did not notice
I noticed when I tried to create a PR. So I notified the rest of the team and switched to a different task for an hour. By the time I returned Github was back. No source code was harmed or lost.
Biting the hand that feeds IT © 1998–2020