Re: [PATCH] git-remote exclude

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Jan 15, 2007, 10:23 UTC
Message-ID: <Pine.LNX.4.63.0701151118400.22628@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <45AA44D6.6080605@gmail.com>

Hi,

On Mon, 15 Jan 2007, Quy Tonthat wrote:

> "git-remote exclude" can be used to prevent one or more unwanted remote 
> branches from being tracked. After, for example,
>     $ git-remote origin exclude man html
> "git-fetch origin" will no longer fetch origin/man and origin/html.

That is not what your patch does.

It rewrites the "remote.$name.fetch" entries so that those branches are not _updated_, but they are _fetched_ nevertheless.

But then, I don't really see _why_ you would want such a solution. After all, you are more likely to be interested in _specific_ branches, rather than all branches _except_ a few.

IMHO "git remote expand <name>" to expand the wildcards and "git remote copy <dest> <src>" would be more useful.

Ciao, Dscho