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?
Best,
Daniel