[tor-bugs] #33629 [Core Tor/Tor]: Use stale bot to close old pull requests

[Tor Bug Tracker & Wiki]

#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