[tor-bugs] #32574 [Internal Services/Service - github tpo]: set up mirror repo on GitHub torproject/jtorctl
Tor Bug Tracker & Wiki
blackhole at torproject.org
Wed Nov 27 00:15:01 UTC 2019
#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 teor):
Replying to [comment:6 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.
The pusher requires write permissions to the repository to do a sync. I
added the `pushers` group with the correct permissions. The next commit
should trigger a sync.
If anyone wants to be able to handle pull requests or CI for the
repository, they'll also need write permissions. Please let us know which
GitHub users need write permissions, and we'll put them in the jtorctl-
maintainers team on GitHub. (It has write permissions, but there's no-one
in it.)
In the meantime, I turned off a bunch of optional features, like wikis and
issues, to avoid spam. Let us know if you need them turned back on.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/32574#comment:7>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list