Assorted git-related scripts and tools

WWW: https://github.com/MestreLion/git-tools
