Merge branch 'cc/ref-is-hidden-microcleanup'
authorJunio C Hamano <gitster@pobox.com>
Fri, 11 Aug 2017 20:27:03 +0000 (13:27 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 11 Aug 2017 20:27:03 +0000 (13:27 -0700)
commitafb456a3835b8b22ec6420807243df480a61d815
tree1e67255cf3c449fbb727cdc3dd23f036626ed78a
parent4a636e7682ad46a4fe8eef71ae7917e0d95585f4
parent7a40a95eb4f79517750eb2bcd81342c25c6db406
Merge branch 'cc/ref-is-hidden-microcleanup'

Code cleanup.

* cc/ref-is-hidden-microcleanup:
  refs: use skip_prefix() in ref_is_hidden()
refs.c