Bot: Add bot to GitHub.