Mention the GitHub mirror in the README file.