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