[PATCH] gitk: disable checkout of remote branch

From: Sitaram Chamarty <sitaramc@gmail.com>
Date: Jun 21, 2009, 09:11 UTC
Message-ID: <slrnh3ru9v.vgo.sitaramc@sitaramc.homelinux.net>
In-Reply-To: <19004.34350.109422.730109@cargo.ozlabs.ibm.com>

At the command line, this gives you a detailed warning message, but the GUI currently allows it without any fuss.

Since the GUI is often used by people much less familiar with git, it seems reasonable to make the GUI more restrictive than the command line, not less.

This prevents a lot of detached HEAD commits by new users.

Signed-off-by: Sitaram Chamarty <sitaramc@gmail.com>
---

Paul,

[Due to a quirk in how I access this list, the "cc" to you will come from my work address, not my public gmail address that the list sees. Sigh...]

I sent this to the list some time ago, and later someone helpfully suggested I should copy you. Not wanting to send it to the list twice, I sent that only to you, but it probably got lost.

Could you please approve and include this in your repo? This patch helps me a lot.

Naturally, if you think it's bad, I'd appreciate hearing criticism.

Thanks and best regards,

Sitaram

 gitk-git/gitk |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 gitk-git/gitk

diff --git a/gitk-git/gitk b/gitk-git/gitk
old mode 100644
new mode 100755
index 8c66d17..411bc52
--- a/gitk-git/gitk
+++ b/gitk-git/gitk
@@ -8770,6 +8770,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
     }

-- 
1.6.3.2