From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 15 Jan 2007 10:23:12 GMT
Subject: Re: [PATCH] git-remote exclude
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