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 githubstatus.com/incidents/zsg…
