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