Hooks now block pushes to branches with an already-merged PR.