[tor-bugs] #32574 [Internal Services/Service - github tpo]: set up mirror repo on GitHub torproject/jtorctl

[Tor Bug Tracker & Wiki]

#32574: set up mirror repo on GitHub torproject/jtorctl
-------------------------------------------------+-------------------------
 Reporter:  eighthave                            |          Owner:  hiro
     Type:  task                                 |         Status:  new
 Priority:  Medium                               |      Milestone:
Component:  Internal Services/Service - github   |        Version:
  tpo                                            |
 Severity:  Normal                               |     Resolution:
 Keywords:  Android, tbb-mobile, jtorctl,        |  Actual Points:
  TorBrowserTeam202001                           |
Parent ID:  #32534                               |         Points:
 Reviewer:                                       |        Sponsor:
-------------------------------------------------+-------------------------

Comment (by eighthave):

 Thanks Hiro!  It seems that the sync is not pushing commits from
 https://gitweb.torproject.org/jtorctl to GitHub, because the GitHub
 project is still blank.

 I set up another automatic mirror here for gitlab.com users:
 https://gitlab.com/torproject/jtorctl

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