Assorted git-related scripts