refs.c: use skip_prefix() in prettify_refname()
commit3e5b36c6378da0be3f5371cb1f2a3f84e1952fae
authorSZEDER Gábor <szeder.dev@gmail.com>
Thu, 23 Mar 2017 15:50:12 +0000 (23 16:50 +0100)
committerJunio C Hamano <gitster@pobox.com>
Thu, 23 Mar 2017 18:22:01 +0000 (23 11:22 -0700)
tree1ba9719b71eecbfcb7a9e2cf3baf8236d6cf7d37
parentc3808ca6982b0ad7ee9b87eca9b50b9a24ec08b0
refs.c: use skip_prefix() in prettify_refname()

This eliminates three magic numbers.

Signed-off-by: SZEDER Gábor <szeder.dev@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
refs.c