#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