Generally-useful scripts for git conversion