[tor-bugs] #28643 [Internal Services/Service - github tpo]: New github team for manual and support

[Tor Bug Tracker & Wiki]

#28643: New github team for manual and support
----------------------------------------------------+----------------------
 Reporter:  teor                                    |          Owner:  hiro
     Type:  task                                    |         Status:  new
 Priority:  Medium                                  |      Milestone:
Component:  Internal Services/Service - github tpo  |        Version:
 Severity:  Normal                                  |     Resolution:
 Keywords:                                          |  Actual Points:
Parent ID:                                          |         Points:
 Reviewer:                                          |        Sponsor:
----------------------------------------------------+----------------------

Comment (by hiro):

 emmapeel should be able to push to torgit and then the git hooks we have
 should push to github and automagically close the pull request.

 We give read access to github/torproject teams so that when a PR is opened
 people can receive an email on that repository (because they are in the
 team). Then I only give write access to the pusher, which is only an
 account we use to sync between torgit and github.

 I am going to check why this PR isn't being closed automatically.
 Sometimes github is slow in syncing PR, the only important thing is that
 once something is merged the commits can be seen on github.

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