Retire torproject-pusher GitHub account
We currently have a torproject-pusher
account that allows pushing commits from Gitolite (cupani
) to GitHub. It used to also allow mirroring from tpo/web/lego and tpo/web/manual, but I migrated those to project-specifc deploy keys in #41246 (closed).
In light of the migration off Gitolite, we should retire this account.