Post #1955657

#github was down, you say? 1. Firstly, only #pull_request-s were actually down. Who uses those on a platform designed for managing pull requests on top of #git? 2. Even those were actually _working_. It was only _searching_ for a pull request that didn't work. You could still interact with pull requests if you had taken the trouble to memorize their number. 3. Search wasn't _completely_ down. It only didn't return _all_ results. So technically #search was working. The only thing degraded was #find. 4. And in any case, #githubstatus for #PRs remained UP! Even with >1 screen of ongoing status for a 48-hour incident, actual status of GitHub Pull Requests was UP (apart from 1h27m on the day prior to that incident). No degraded performance on the charts, nothing. Archive link: https://web.archive.org/web/20260430135143/https://www.githubstatus.com/.