diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-12-04 04:23:35 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-12-05 03:12:34 +0400 |
commit | fc9261ca611080b1dae76b86b3bf5f36d592042f (patch) | |
tree | c9ec7196e858e2a55067d02ec1e118c3800f8554 /remote.h | |
parent | ca02465b41311fe7634acb9bb5b5c61975ef5f38 (diff) |
push: also use "upstream" mapping when pushing a single ref
When the user is using the 'upstream' mode, these commands:
$ git push
$ git push origin
would find the 'upstream' branch for the current branch, and then
push the current branch to update it. However, pushing a single
branch explicitly, i.e.
$ git push origin $(git symbolic-ref --short HEAD)
would not go through the same ref mapping process, and ends up
updating the branch at 'origin' of the same name, which may not
necessarily be the upstream of the branch being pushed.
In the spirit similar to the previous one, map a colon-less refspec
using the upstream mapping logic.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'remote.h')
0 files changed, 0 insertions, 0 deletions