git remote: allow adding remotes agreeing with url.<...>.insteadOf