Then just fuck it, reset to last known good commit and work from there. If a contributor gives a shit about their PR, they will resubmit it again. If not, good

Then just fuck it, reset to last known good commit and work from there. If a contributor gives a shit about their PR, they will resubmit it again. If not, good riddance. If something has to be reimplemented again, it's usually way better the second time around anyway.