git-gui: Don't require a .pvcsrc to create Tools/Migrate menu hack