#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
_______________________________________________ tor-bugs mailing list tor-bugs@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs