disable gitolite-merge-bot

now that we've confirmed most people have moved off of gitolite (#41214 (closed)), this must mean no one is syncing repositories between gitolite and gitlab anymore. therefore, the @gitolite-merge-bot should be retired.

this probably means deactivating the account and removing all its accesses.

marked this issue as related to #41215 (closed)

marked this issue as related to #41214 (closed)

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

added Gitlab Next labels

assigned to @anarcat

marked this issue as related to #41473 (closed)

mentioned in issue #41473 (closed)

marked this issue as related to #41470 (closed)

added Doing label and removed Next label

i removed it from:

https://gitlab.torproject.org/groups/tpo/ux https://gitlab.torproject.org/tpo/anti-censorship/gettor-project/gettor

now i'll remove it from individual projects:

that is:

project	status
The Tor Project / Anti-censorship / Pluggable Transports / Snowflake	Maintainer
The Tor Project / Anti-censorship / Pluggable Transports / Snowflake Mobile	Maintainer
The Tor Project / Anti-censorship / Pluggable Transports / Snowflake WebExtension	Maintainer
The Tor Project / Applications / tor-launcher	Maintainer
The Tor Project / Community / L10n	Maintainer
The Tor Project / Community / Outreach	Maintainer
The Tor Project / Community / Training	Maintainer
The Tor Project / Core / Chutney	Maintainer
The Tor Project / Core / Fallback Scripts	Maintainer
The Tor Project / Core / Fuzzing Corpora	Maintainer
The Tor Project / Core / Torsocks	Maintainer
The Tor Project / Core / Trunnel	Maintainer
The Tor Project / Core / debian / tor	Maintainer
The Tor Project / Network Health / Metrics / Onionperf	Maintainer
The Tor Project / Translation	Developer

i removed it from all those projects and blocked the user. i feel it's better than just deleting it so we don't lose trace of how things were merged (for example).

closed