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

diff --git a/git-gui.sh b/git-gui.sh
index 6ee0573c983c308499d2a3d2a1cf786df3078d7b..4fbc408c4d0a1f950c7d32768ed55cbd91005023 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -1545,8 +1545,7 @@ if {[is_MacOSX]} {
 
        # -- Tools Menu
        #
-       if {[file exists /usr/local/miga/lib/gui-miga]
-               && [file exists .pvcsrc]} {
+       if {[is_Cygwin] && [file exists /usr/local/miga/lib/gui-miga]} {
        proc do_miga {} {
                global ui_status_value
                if {![lock_index update]} return