Gitolite to Github sync is broken
After Github had to rotate their SSH key, our git.torproject.org to Github mirroring feature is broken. It doesn't block people from merging or anything, but just shows an SSH host key verification error when pushing to git-rw.torproject.org
I think this can be fixed with wiping the known_hosts entry for github.com and adding the new one.