diff options
author | Felipe Contreras <felipe.contreras@gmail.com> | 2020-11-25 18:16:16 -0600 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-11-30 13:57:55 -0800 |
commit | 374fbaef3df8f05acf9968fc38c6da72a62bcfc2 (patch) | |
tree | 13cca8b260b1ddeee0d3901a452a784cc13aa7be /ref-filter.c | |
parent | tests: push: trivial cleanup (diff) | |
download | tgif-374fbaef3df8f05acf9968fc38c6da72a62bcfc2.tar.xz |
refspec: make @ a synonym of HEAD
Since commit 9ba89f484e git learned how to push to a remote branch using
the source @, for example:
git push origin @:master
However, if the right-hand side is missing, the push fails:
git push origin @
It is obvious what is the desired behavior, and allowing the push makes
things more consistent.
Additionally, @:master now has the same semantics as HEAD:master.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ref-filter.c')
0 files changed, 0 insertions, 0 deletions