[tor-bugs] #31603 [Internal Services/Service - github tpo]: GitHub close Support, tpo, community issues

Tue Sep 3 12:02:36 UTC 2019

#31603: GitHub close Support, tpo, community issues
----------------------------------------------------+----------------------
 Reporter:  ggus                                    |          Owner:  hiro
     Type:  defect                                  |         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 teor):

 I don't think you can close pull requests on GitHub.

 Our experience with tor is that when we close issues, a small number of
 people report them using pull requests instead.

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