• Which by that point they’d already fixed. They mentioned they also accidentally pushed to the wrong branch.

    I dunno, this just looks like someone accidentally made a bad commit and instead of being mature about it and letting them fix it we get statements like “all bridges have been burned” and a split in the community. That’s a bit overblown, and if at the first sign of disagreement the decision is to blow up a project you’re making it very hard to work with you.