From: Paul Mackerras <paulus@samba.org>
Date: Thu, 13 Aug 2009 11:53:35 GMT
Subject: Re: [PATCH] gitk: new option to hide remote refs
Message-ID: <19075.65215.120894.823187@cargo.ozlabs.ibm.com>
In-Reply-To: <55b7e43bcd59aa64c70edde83ac87147aa0091bb.1249336225.git.trast@student.ethz.ch>

Thomas Rast writes:

> In repositories with lots of remotes, looking at the history in gitk
> can be borderline insane with all the red labels for remote refs.
> Introduce a new option in the preferences that hides them.

Thanks, applied.  I modified the patch description slightly since the
patched gitk doesn't just hide the remote refs, it ignores them
completely ("hide" implies to me that gitk still knows about them but
chooses not to show them).

Paul.