Re: [PATCH] Use new .git/config for storing "origin" shortcut repository
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Nov 26, 2006, 00:48 UTC
- Message-ID
- <Pine.LNX.4.63.0611260141390.30004@wbgn013.biozentrum.uni-wuerzburg.de>
- In-Reply-To
- <200611260003.31025.andyparkins@gmail.com>
Hi,
On Sun, 26 Nov 2006, Andy Parkins wrote:
> - echo "Pull: refs/heads/${name}:$remote_top/${name}"
> - done >>"$GIT_DIR/remotes/$origin" &&
> + git-repo-config remote."$origin".fetch "refs/heads/${name}:$remote_top/${name}"
> + done &&This hunk is wrong: "git-repo-config remote.bla.fetch b" will _overwrite_ remoter.bla.fetch. To avoid that, you have to use "git repo-config remote.bla.fetch b ^$". (The last argument is a regular expression which has to be matched by the value-to-be-oreplaced.)
Ciao, Dscho