Use .git extension for https git sources
Merge branch 'master' of github.com:datamapper/devtools