| commit | 410b0a83076b51dd428a720908b4e43db9b988ca | |
| author | Michael J Gruber <git@drmicha.warpmail.net> | |
| Tue, 24 Feb 2009 20:57:52 +0000 (24 21:57 +0100) | ||
| committer | Michael J Gruber <git@drmicha.warpmail.net> | |
| Tue, 24 Feb 2009 20:57:52 +0000 (24 21:57 +0100) | ||
| tree | 65cf66f2a6382fd6f0e67837e7503351c2d63966 | treesnapshot (tar.gz zip) |
| parent | 448b8dc7ca5f2d1cbeb6075c72eeabaa2cafcde1 | commitdiff |
Fix behaviour of --repo option to git push
Fix the behaviour of the --repo option to 'git push" so that it matches
the documentation: --repo provides an alternative default remote
(instead of 'origin') in case no remote argument is given and no remote
can be deduced from the tracking config of the current branch.
Fix the behaviour of the --repo option to 'git push" so that it matches
the documentation: --repo provides an alternative default remote
(instead of 'origin') in case no remote argument is given and no remote
can be deduced from the tracking config of the current branch.
| builtin-push.c | diffblobblamehistory | |
| remote.c | diffblobblamehistory | |
| remote.h | diffblobblamehistory | |
| t/t5516-fetch-push.sh | diffblobblamehistory |