Just changed the setting back to checkout on server and all PRs and master are green again. I think we should take approved out of .gitignore. It's a bit of pain to deal with these as binary.