abadideahey "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
Melroy van den Berg@0xabad1dea we are moving to codeberg.