diff options
author | Johannes Sixt <johannes.sixt@telecom.at> | 2007-06-09 22:34:16 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-06-12 22:26:07 -0700 |
commit | 6718f1f0d07167128c2d23c15081ea5660e865e9 (patch) | |
tree | bbc59a319c21c35643d03ead494c00638c6a11ef /ppc | |
parent | gitweb: change filename/directory name of snapshots (diff) | |
download | tgif-6718f1f0d07167128c2d23c15081ea5660e865e9.tar.xz |
git-remote show: Also shorten non-fast-forward refs in the 'push' listing
'git-remote show remote-name' lists the refs that are pushed to the remote
by showing the 'Push' line from the config file. But before showing it,
it shortened 'refs/heads/here:refs/heads/there' to 'here:there'. However,
if the Push line is prefixed with a plus, the ref was not shortened.
Signed-off-by: Johannes Sixt <johannes.sixt@telecom.at>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ppc')
0 files changed, 0 insertions, 0 deletions