Assorted git-related scripts and tools for branch renaming, partial cloning,
repository scans, rebase workflows, restoring mtimes, and stripping merges.
