A few small utility scripts for GitHub.