A couple questions/observations:

I assume pull requests were done on a branch outside of main (or whatever your production branch was called)? You know, like to a staging branch of some sort that gets tested by QA before it rolls to production.

Wasn't the linting blow-off obvious?

Speaking of pull requests, were any of his PRs approved?

If so, why?