git remote: allow adding remotes agreeing with url.<...>.insteadOf
[git] / block-sha1 /
drwxr-xr-x   ..
-rw-r--r-- 7534 sha1.c
-rw-r--r-- 692 sha1.h