Post

I'm flattered but the truth is that we never added a merge queue. I thought of it a while ago but realized it wasn't worth it. The types of issues we have had in red main have always been things that linting has caught by prod linting before they could ever go live.

- We accept that main may be broken (but after a couple months it never has been). - we still deploy to prod on push to main, but made the test suite, typecheck, etc a pre-req so we never deploy anything broken