Shell scripts for pushing several repos to GitHub.