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