f1bfa5f6cf
Uris for repos specified as user/repo end up being https://github.com/user/repo. For some reason, github allows cloning from such uris, however, it is better to rely on the addresses that github provide for cloning, and those include the trailing .git This change appends .git to github repo uris when needed. |
||
---|---|---|
.. | ||
vundle | ||
vundle.vim |