gitconfig: url prefixes - different pull and push urls