[tor-bugs] #33629 [Core Tor/Tor]: Use stale bot to close old pull requests
Tor Bug Tracker & Wiki
blackhole at torproject.org
Mon Mar 23 14:15:39 UTC 2020
#33629: Use stale bot to close old pull requests
--------------------------+------------------------------------
Reporter: teor | Owner: teor
Type: task | Status: assigned
Priority: Medium | Milestone: Tor: 0.4.4.x-final
Component: Core Tor/Tor | Version:
Severity: Normal | Resolution:
Keywords: tor-github | Actual Points:
Parent ID: | Points: 0.5
Reviewer: | Sponsor:
--------------------------+------------------------------------
Comment (by nickm):
I wouldn't mind something like this. I wonder if we can customize the
messages that the bot uses, so it says something like "Closing this ticket
because it is older than XX days. If it should not be closed, then please
reopen it, and make sure that there is a corresponding ticket on
bugs.torproject.org".
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/33629#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list