diff options
author | René Scharfe <l.s.r@web.de> | 2019-11-26 15:18:28 (GMT) |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-11-27 02:18:39 (GMT) |
commit | 1768aaf01d3f57af8c4182d5887d219456f4a094 (patch) | |
tree | 163a8f5c4202b4b65c8d7f703cd0c0972203271a /po | |
parent | ec6ee0c07a6dc93dd18003b069c78f514ccbe427 (diff) | |
download | git-1768aaf01d3f57af8c4182d5887d219456f4a094.zip git-1768aaf01d3f57af8c4182d5887d219456f4a094.tar.gz git-1768aaf01d3f57af8c4182d5887d219456f4a094.tar.bz2 |
push: use skip_prefix() instead of starts_with()
Get rid of a magic number by using skip_prefix().
Signed-off-by: René Scharfe <l.s.r@web.de>
Acked-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions