[tor-bugs] #28394 [Internal Services/Service - git]: Sync metrics repositories from git.torproject.org to github.com/torproject

[Tor Bug Tracker & Wiki]

#28394: Sync metrics repositories from git.torproject.org to github.com/torproject
-------------------------------------------------+------------------------
     Reporter:  teor                             |      Owner:  tor-gitadm
         Type:  task                             |     Status:  new
     Priority:  Medium                           |  Milestone:
    Component:  Internal Services/Service - git  |    Version:
     Severity:  Normal                           |   Keywords:
Actual Points:                                   |  Parent ID:
       Points:                                   |   Reviewer:
      Sponsor:                                   |
-------------------------------------------------+------------------------
 Hi,

 The following repositories on github.com/torproject are empty:
 * exonerator
 * metrics-base
 * metrics-lib
 * metrics-web
 * onionoo

 I just added the push bot to their permissions.
 Do we need to set up the push hook on git.torproject.org?

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