[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
Mon Mar 25 04:49:29 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: 0.4.1.x-final
    Component:  Core Tor/Tor   |    Version:
     Severity:  Normal         |   Keywords:  tor-ci
Actual Points:                 |  Parent ID:
       Points:  2              |   Reviewer:
      Sponsor:  Sponsor31-can  |
-------------------------------+--------------------------------
 We want to discover practracker errors in backport branches, before we
 push the merge to tpo master.

 We could require master merges for every backport branch. I wonder if we
 could make a bot that adds a pull request to master for every non-master
 pull request?

 If the bot is quick, it will be easy to find the master pull request: just
 add one to the PR number.

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


More information about the tor-bugs mailing list