Andrew's git / gitweb.git / diff
?
Merge branch 'sg/update-ref-stdin-cleanup'
authorJunio C Hamano <gitster@pobox.com>
Mon, 25 Jun 2018 20:22:40 +0000 (13:22 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 25 Jun 2018 20:22:40 +0000 (13:22 -0700)
Code cleanup.

* sg/update-ref-stdin-cleanup:
update-ref --stdin: use skip_prefix()

Trivial merge