.git extension on remotes is optional