[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 teor):

 Replying to [comment:3 catalyst]:
 > This seems like a good idea to me.
 >
 > Is Probot relatively well maintained?

 Seems active, the last change was 14 hours ago:
 https://github.com/probot

 > What hosting or infrastructure requirements are there for running it?

 It runs as a GitHub app on github.io:
 https://developer.github.com/apps/

 I think it will be useful, while we are still using GitHub for PRs. GitLab
 probably does it's own thing, and that's fine.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/33629#comment:4>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online