git-tools (assorted git-related scripts and tools)

Assorted git-related scripts and tools by Rodrigo Silva. Includes
these tools:

git-branches-rename  git-find-uncommitted-repos  git-restore-mtime
git-clone-subset     git-rebase-theirs           git-strip-merge

Each has a man page.
