Add '.git' to a couple more URLs, and correct an alias
(To make mirroring work correctly, the same alias can't be used
for git sources and for tar sources)