commit | a9c37a72c4fbc8537de294d66b05bdfd7f9a4016 | [log] [tgz] |
---|---|---|
author | Daniel Barkalow <barkalow@iabervon.org> | Sun Mar 08 21:06:05 2009 -0400 |
committer | Junio C Hamano <gitster@pobox.com> | Mon Mar 09 15:41:16 2009 -0700 |
tree | 117ca075b1b84094aaabc9e4145434868ab43228 | |
parent | 8321c56b6bae25a2d70790f452df894be536b32c [diff] |
Use a common function to get the pretty name of refs The result should be consistent between fetch and push, so we ought to use the same code in both cases, even though it's short. Signed-off-by: Daniel Barkalow <barkalow@iabervon.org> Signed-off-by: Junio C Hamano <gitster@pobox.com>