GitHub close Support, tpo, community issues

Hi, we don't want people reporting issues in GitHub.

We should follow our How To Report Bug/Feedback document:

https://trac.torproject.org/projects/tor/wiki/doc/community/HowToReportBugFeedback

added component::internal services/service - github tpo owner::hiro priority::medium resolution::fixed severity::normal status::closed type::defect labels

agreed!

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.

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

We only want to close the "issues" part, so all Tor Project repositories follows our bug or feedback process:

https://support.torproject.org/misc/bug-or-feedback/

I'm cool with PRs.

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

I'm happy to discuss our feedback or bug process and find a way to improve it. At the moment just having it open might lead to chaos.

I don't have credentials to do it, but here is the way to disable issues in Github's repositories

https://help.github.com/en/articles/disabling-issues

I'm not sure who did this but issues are already disabled for community, support and too repos.

Trac:
Status: new to closed
Resolution: N/A to fixed

closed