Sitaram Chamarty <sitaramc@xxxxxxxxx> writes:
> 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 patch helps me a lot.
The patch seems to disable checkout unconditionally, but it at least needs
an "expert mode" switch to bypass the patch's logic, or (better yet) a
"training wheel" switch for you to set in repositories of the people you
manage.
> 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
The above should ideally read:
> diff --git a/gitk b/gitk
> index 8c66d17..411bc52
> --- a/gitk
> +++ b/gitk
if the patch goes to Paulus.
> @@ -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
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html