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.

changed milestone to %legacy Git infrastructure retirement (TPA-RFC-36)

added Backlog Git labels

assigned to @lavamind

@anarcat I could not figure out if that SSH key is still being used by any project on Gitolite, it seems like no but maybe I'm not looking in the right places (.git/hooks directories).

i'd say that if it's still in use, it's a mistake, as gitolite is being retired anyways. just retire it...

... although it's true we haven't stated we would do this in the RFC... hhmmmm...

We could remove the SSH key from the account, wait X days and if nobody complains, delete the account itself?

Otherwise, we can easily restore the SSH key.

The last SSH key associated with torproject-pusher:

git@cupani.torproject.org (20180703)
SHA256:x4xPHGO6fXzvL3MEqytSr5xBhYB8JSRl0msby8bcxUQ

changed due date to August 03, 2023

Removed the SSH key from torproject-pusher. Will revisit next month.

marked this issue as related to #41217 (closed)

I figured out how to find out which repositories were configured to mirror to github: find /srv/git.torproject.org/repositories -name config | xargs -L1 grep githuburl:

torproject/chutney
torproject/collector
torproject/community
torproject/dev
torproject/doctor
torproject/exonerator
torproject/fallback-scripts
torproject/gettor
torproject/gettor-web
torproject/jtorctl
torproject/lego
torproject/manual
torproject/metrics-base
torproject/metrics-cloud
torproject/metrics-lib
torproject/metrics-web
torproject/newsletter
torproject/nyx
torproject/onionoo
torproject/onionperf
torproject/privacy-docs
torproject/research-web
torproject/sbws
torproject/stem
torproject/styleguide
torproject/support
torproject/template
torproject/tor
torproject/torspec
torproject/tpo
torproject/webwml

@hiro There are a number of metrics team repositories in this list. Would you like to keep them mirrored to GitHub?

I think it is ok if these repositories aren't mirrored. We are using gitlab now we can archive whatever is on github on the metrics side.

added Doing label and removed Backlog label

Done, the account has been deleted on GitHub. I couldn't think of any reason to keep the account around.

closed