While going through the developer documentation in the GitHub wiki I saw the paragraph about the git pre-commit hook1 – supposedly living in the main repo in
./bin/pre-commit. I couldn’t find it there and also not in the
tools repo, so I’m assuming it doesn’t exist anymore. There is an issue 2 about this but it has gone stale.
I guess the paragraph should be removed from the wiki page; in fact I had already done that when I found out there’s no PR mechanism for GitHub wikis. How can I help to improve the wiki?