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.