Opened 13 days ago

Closed 2 hours ago

#31603 closed defect (fixed)

GitHub close Support, tpo, community issues

Reported by: ggus Owned by: hiro
Priority: Medium Milestone:
Component: Internal Services/Service - github tpo Version:
Severity: Normal Keywords:
Cc: Actual Points:
Parent ID: Points:
Reviewer: Sponsor:

Description

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

Child Tickets

Change History (5)

comment:1 Changed 13 days ago by emmapeel

agreed!

comment:2 Changed 13 days ago 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.

comment:3 Changed 9 days ago by ggus

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.

comment:4 Changed 5 days ago by antonela

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

comment:5 Changed 2 hours ago by pili

Resolution: fixed
Status: newclosed

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

Note: See TracTickets for help on using tickets.