Opened 2 years ago

Closed 2 years ago

Last modified 2 years ago

#26499 closed defect (fixed)

document how git.tpo->github mirroring happens

Reported by: catalyst Owned by: tor-gitadm
Priority: Medium Milestone:
Component: Internal Services/Service - git Version:
Severity: Normal Keywords:
Cc: Actual Points:
Parent ID: Points:
Reviewer: Sponsor:


It seems like no one knows how the mirroring of tor.git to happens.

An account named "tor-bot" seems to be involved. Maybe someone with shell access to git.tpo should look at the hook scripts?

Also, there might be an intermediate repository involved, because a couple of deleted branches on git.tpo keep reappearing on

Child Tickets

Change History (1)

comment:1 Changed 2 years ago by teor

Resolution: fixed
Status: newclosed

It seems like it used to happen via gitlab, see #23756.
Now it's all commit hooks:

Edit: oops, #23756 is for

Last edited 2 years ago by teor (previous) (diff)
Note: See TracTickets for help on using tickets.