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 /git-gui/Makefile | |
| 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 'git-gui/Makefile')
0 files changed, 0 insertions, 0 deletions