[git] Using a remote repository with non-standard port