[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]

#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:
-------------------------------------------------+-------------------------
Changes (by teor):

 * cc: gaba (added)
 * keywords:  tor-ci, 041-deferred-20190530 => tor-ci,
     041-deferred-20190530, sponsor31-maybe
 * sponsor:  Sponsor31-can =>
 * parent:  #29792 =>


Comment:

 Gaba, this ticket could go in Sponsor 31, because it's about practracker
 and best practices for pull requests.

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