Re: [PATCH] Use new .git/config for storing "origin" shortcut repository
flat view
From: Johannes Schindelin <hidden>
Date: 2016-08-11 19:29:14
Possibly related (same subject, not in this thread)
- 2016-08-11 · Re: [PATCH] Use new .git/config for storing "origin" shortcut repository · Junio C Hamano <hidden>
- 2016-08-11 · [PATCH] Use new .git/config for storing "origin" shortcut repository · Andy Parkins <hidden>
- 2016-08-11 · Re: [PATCH] Use new .git/config for storing "origin" shortcut repository · Johannes Schindelin <hidden>
- 2016-08-11 · Re: [PATCH] Use new .git/config for storing "origin" shortcut repository · Junio C Hamano <hidden>
- 2016-08-11 · Re: [PATCH] Use new .git/config for storing "origin" shortcut repository · Johannes Schindelin <hidden>
Hi, On Sun, 26 Nov 2006, Andy Parkins wrote:
quoted hunk ↗ jump to hunk
- 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