skip_prefix: add case-insensitive variant
commit41a80924aec0e94309786837b6f954a3b3f19b71
authorJeff King <peff@peff.net>
Sun, 13 May 2018 16:57:14 +0000 (13 12:57 -0400)
committerJeff King <peff@peff.net>
Tue, 22 May 2018 03:50:11 +0000 (21 23:50 -0400)
tree80644e83e5d43d739852bf86afdf57e7ea381284
parentdc2d9ba3187fcd0ca8eeab9aa9ddef70cf8627a6
skip_prefix: add case-insensitive variant

We have the convenient skip_prefix() helper, but if you want
to do case-insensitive matching, you're stuck doing it by
hand. We could add an extra parameter to the function to
let callers ask for this, but the function is small and
somewhat performance-critical. Let's just re-implement it
for the case-insensitive version.

Signed-off-by: Jeff King <peff@peff.net>
git-compat-util.h