Gitolite Merge Bot

🤖

@gitolite-merge-bot

User ID: 257

Member since April 29, 2019

gitlab.torproject.org/tpo/tpa/team/-/wikis/howto/git

0 followers

0 following

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>

There was an error loading users activity calendar. Retry

Activity

Personal projects

Most Recent Activity