Opened 4 weeks ago

Last modified 4 weeks ago

#29881 new enhancement

Create a GitHub bot that makes sure there is a pull request on master for every branch

Reported by: teor Owned by:
Priority: Medium Milestone: Tor: 0.4.1.x-final
Component: Core Tor/Tor Version:
Severity: Normal Keywords: tor-ci
Cc: Actual Points:
Parent ID: #29792 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.

Child Tickets

Change History (1)

comment:1 Changed 4 weeks ago by teor

Parent ID: #29792
Note: See TracTickets for help on using tickets.