[tor-bugs] #26499 [Internal Services/Service - git]: document how git.tpo->github mirroring happens

[Tor Bug Tracker & Wiki]

#26499: document how git.tpo->github mirroring happens
-------------------------------------------------+------------------------
     Reporter:  catalyst                         |      Owner:  tor-gitadm
         Type:  defect                           |     Status:  new
     Priority:  Medium                           |  Milestone:
    Component:  Internal Services/Service - git  |    Version:
     Severity:  Normal                           |   Keywords:
Actual Points:                                   |  Parent ID:
       Points:                                   |   Reviewer:
      Sponsor:                                   |
-------------------------------------------------+------------------------
 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.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/26499>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online