git-tools: git-tools (assorted git-related scripts and tools)
git-tools:
git-tools: Assorted git-related scripts and tools by Rodrigo Silva. Includes
git-tools: these tools:
git-tools:
git-tools: git-branches-rename  git-find-uncommitted-repos  git-restore-mtime
git-tools: git-clone-subset     git-rebase-theirs           git-strip-merge
git-tools:
git-tools: Each has a man page.
git-tools:
git-tools: