hey "haha github uptime lol" and all that but this is serious: some pull request merges were completely mangled yesterday and the repo may not be in the state that its maintainers expect. If your project processed any updates yesterday, please double-check https://www.githubstatus.com/incidents/zsg1lk7w13cf

#github

Incident with Pull Requests

GitHub's Status Page - Incident with Pull Requests.

this is secondary but I don’t love how they completely changed the “Resolved” description within the last hour while leaving the timestamp at 13 hours ago
@0xabad1dea That's a yikes for sure