Hi all, Kirks emails reminded me - I think we are at the point now with our PR checks where we should not be merging anything to develop that doesn't pass all of the PR checks.
I propose we disable the merge button unless a PR is passing all of the checks. If we are in agreement I'll follow up with infra to see how to make that happen. This would not completely prevent pushing directly to develop from the command line, but since most developers seem to be using the github UI, I hope that it will steer people towards getting the PRs passing instead of using the command line. Thoughts? -Dan
