gitk: Disable checkout of remote branches

diff --git a/gitk b/gitk
index 61771bd05cdb33f59458a192ff84e59b85a4ef2c..5f065457633b592ab83df192ad4bcdb27c006111 100755 (executable)
--- a/gitk
+++ b/gitk
@@ -8897,6 +8897,9 @@ proc headmenu {x y id head} {
     set headmenuid $id
     set headmenuhead $head
     set state normal
+    if {[string match "remotes/*" $head]} {
+       set state disabled
+    }
     if {$head eq $mainhead} {
        set state disabled
     }