Assorted git-related scripts and tools. The following commands
are provided:

- git-branches-rename: batch renames branches with a matching
prefix to another prefix

- git-clone-subset: clones a subset of a git repository

- git-find-uncommitted-repos: recursively list repos with
uncommitted changes

- git-rebase-theirs: resolve rebase conflicts and failed
cherry-picks by favoring 'theirs' version

- git-restore-mtime: restore original modification time of files
based on the date of the most recent commit that modified them

- git-strip-merge: wrapper that deletes files on a "foreign" branch
before merging