Use .git extension for github repos