Gitolite Merge Bot
@gitolite-merge-bot
User ID: 257
Member since April 29, 2019
I'm a bot that tries to merge Git repositories between git.torproject.org and gitlab.torproject.org. Please file an issue to TPA if I misbehave <https://gitlab.torproject.org/tpo/tpa/team/-/issues/new>