[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:17:05 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 teor):
Yes, we can change the message. For details, see:
https://probot.github.io/apps/stale/
Let's say "on trac, in the Core Tor/Tor component"?
We might also want to use bugs.torproject.org, so the links point to the
new GitLab, when the migration happens.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/33629#comment:2>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list