check_filename(): use skip_prefix
authorJeff King <peff@peff.net>
Fri, 26 May 2017 19:07:42 +0000 (15:07 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 29 May 2017 02:36:56 +0000 (11:36 +0900)
This avoids some magic numbers (and we'll be adding more
similar calls in a minute).

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found