Goodbye Gitorious

I've long maintained a mirror on Gitorious of all my public Git repos, but with the recent announcement that they are being acquired by GitLab, I'm turning off the mirroring and I won't be setting up a replacement.

My public repos will continue to be hosted at my GitHub account. I figure that's probably enough redundancy.