HTTPS SSH
Miscellaneous scripts for migration from svn to git.