git-gui: Completely remove my Tools/Migrate hack