FWIW, I just noticed that the CONTRIBUTING message wasn't showing up when trying to make a PR. github is supposed to make a warning box that shows the contents of /CONTRIBUTING or /CONTRIBUTING.md when opening an issue or PR