Initially, I thought it's my network. But then one colleague faced a similar issue. I checked GitHub Status and got the bad news.
So, What do you do while this unfathomable issue persists?
Feeling Bad! Cannot Merge PRs. Github is facing issues...
Publish Date: Jul 15 '20
8 1
Create a new branch and work on another ticket...lol