diff options
author | Michael J Gruber <git@drmicha.warpmail.net> | 2009-06-09 18:01:35 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-06-09 23:46:47 -0700 |
commit | e1ca424112d5e8923a4a83af0f79eadbff088b69 (patch) | |
tree | d8af47f2675d3ff84513df426768aed198751bb4 /Documentation/howto/rebuild-from-update-hook.txt | |
parent | Allow push and fetch urls to be different (diff) | |
download | tgif-e1ca424112d5e8923a4a83af0f79eadbff088b69.tar.xz |
t5516: Check pushurl config setting
Check whether the new remote.${remotename}.pushurl setting is obeyed
and whether it overrides remote.${remotename}.url.
Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/howto/rebuild-from-update-hook.txt')
0 files changed, 0 insertions, 0 deletions