Document addition of GitHub hook for ReadTheDocs