Re: [PATCH] gitk: new option to hide remote refs

From: Junio C Hamano <gitster@pobox.com>
Date: Aug 4, 2009, 06:28 UTC
Message-ID: <7vab2g6qkd.fsf@alter.siamese.dyndns.org>
In-Reply-To: <55b7e43bcd59aa64c70edde83ac87147aa0091bb.1249336225.git.trast@student.ethz.ch>

Thomas Rast <trast@student.ethz.ch> writes:

Show 9 quoted lines

> @@ -1689,7 +1690,7 @@ proc readrefs {} {
>  	if {![string match "refs/*" $ref]} continue
>  	set name [string range $ref 5 end]
>  	if {[string match "remotes/*" $name]} {
> -	    if {![string match "*/HEAD" $name]} {
> +	    if {![string match "*/HEAD" $name] && !$hideremotes} {
>  		set headids($name) $id
>  		lappend idheads($id) $name
>  	    }

Hmm, I wonder if it would be more useful to extend this by using $skiprefs pattern instead, like so:

>  	if {![string match "refs/*" $ref]} continue
>  	set name [string range $ref 5 end]

+	if {$skiprefs != "" && [string match $skiprefs $name]} continue

>  	if {[string match "remotes/*" $name]} {
> 	    if {![string match "*/HEAD" $name]} {

...