Merge branch 'rs/use-skip-prefix-more'
commit391fb22ac760042fd1cffe451f4ec9a4eb57e39e
authorJunio C Hamano <gitster@pobox.com>
Fri, 6 Dec 2019 23:09:22 +0000 (6 15:09 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 6 Dec 2019 23:09:22 +0000 (6 15:09 -0800)
treea933c90fefc73a2e6625ceec79043330b870c128
parent92b52e1bd64b048beba44abae8a72b7ebebd9529
parent2059e79c0dac1e1e4e55733618dc6ca9d00b8aa4
Merge branch 'rs/use-skip-prefix-more'

Code cleanup.

* rs/use-skip-prefix-more:
  name-rev: use skip_prefix() instead of starts_with()
  push: use skip_prefix() instead of starts_with()
  shell: use skip_prefix() instead of starts_with()
  fmt-merge-msg: use skip_prefix() instead of starts_with()
  fetch: use skip_prefix() instead of starts_with()
builtin/fetch.c