Opened 15 months ago

Closed 14 months ago

Last modified 14 months 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:

Description

It seems like no one knows how the git.torproject.org mirroring of tor.git to github.com 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 github.com.

Child Tickets

Change History (1)

comment:1 Changed 14 months ago by teor

Resolution: fixed
Status: newclosed

It seems like it used to happen via gitlab, see #23756.
Now it's all commit hooks:
https://trac.torproject.org/projects/tor/wiki/org/operations/Infrastructure/git.torproject.org?action=diff&version=10

Edit: oops, #23756 is for oniongit.eu

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