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

2020-06-11 Thread Tor Bug Tracker & Wiki 
#33629: Use stale bot to close old pull requests
-+-
 Reporter:  teor |  Owner:  ahf
 Type:  task | Status:
 |  assigned
 Priority:  Medium   |  Milestone:  Tor:
 |  0.4.4.x-final
Component:  Core Tor/Tor |Version:
 Severity:  Normal   | Resolution:
 Keywords:  tor-github, 044-should, postfreeze-  |  Actual Points:
  ok |
Parent ID:   | Points:  0.5
 Reviewer:   |Sponsor:
-+-
Changes (by nickm):

 * owner:  (none) => ahf


--
Ticket URL: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs

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

2020-05-14 Thread Tor Bug Tracker & Wiki 
#33629: Use stale bot to close old pull requests
+
 Reporter:  teor|  Owner:  (none)
 Type:  task| Status:  assigned
 Priority:  Medium  |  Milestone:  Tor: 0.4.4.x-final
Component:  Core Tor/Tor|Version:
 Severity:  Normal  | Resolution:
 Keywords:  tor-github, 044-should  |  Actual Points:
Parent ID:  | Points:  0.5
 Reviewer:  |Sponsor:
+
Changes (by teor):

 * owner:  teor => (none)


Comment:

 It's unlikely that I'll ever finish this tooling.

--
Ticket URL: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs

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

2020-04-01 Thread 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, 044-should  |  Actual Points:
Parent ID:  | Points:  0.5
 Reviewer:  |Sponsor:
+
Changes (by teor):

 * keywords:  tor-github => tor-github, 044-should


--
Ticket URL: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs

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

2020-03-23 Thread 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: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs

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

2020-03-23 Thread 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 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: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs

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

2020-03-23 Thread 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):

 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: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs

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

2020-03-23 Thread 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: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs