[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 15:26:00 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 catalyst):
This seems like a good idea to me.
Is Probot relatively well maintained? What hosting or infrastructure
requirements are there for running it?
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/33629#comment:3>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list