[tor-bugs] #29881 [Core Tor/Tor]: Create a GitHub bot that makes sure there is a pull request on master for every branch

Tor Bug Tracker & Wiki blackhole at torproject.org
Wed Jun 19 00:06:11 UTC 2019


#29881: Create a GitHub bot that makes sure there is a pull request on master for
every branch
-------------------------------------------------+-------------------------
 Reporter:  teor                                 |          Owner:  (none)
     Type:  enhancement                          |         Status:  new
 Priority:  Medium                               |      Milestone:  Tor:
                                                 |  unspecified
Component:  Core Tor/Tor                         |        Version:
 Severity:  Normal                               |     Resolution:
 Keywords:  tor-ci, 041-deferred-20190530,       |  Actual Points:
  sponsor31-maybe                                |
Parent ID:                                       |         Points:  2
 Reviewer:                                       |        Sponsor:
                                                 |  Sponsor31-can
-------------------------------------------------+-------------------------
Changes (by gaba):

 * sponsor:   => Sponsor31-can


Comment:

 Yes. It makes sense. Thanks

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


More information about the tor-bugs mailing list