Gitorious service was discontinued. Now there's a read-only
facade on its web-server that allows you to download the
mirrored repo backups, but it may be soon disconnected, and
anyway its SSL cert doesn't work. I've copied the repo to our
new github location.