Opened 10 months ago

Last modified 7 months 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: unspecified
Component: Core Tor/Tor Version:
Severity: Normal Keywords: tor-ci, 041-deferred-20190530, sponsor31-maybe
Cc: gaba 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.

Child Tickets

Change History (6)

comment:1 Changed 10 months ago by teor

Parent ID: #29792

comment:2 Changed 8 months ago by teor

These can be sponsor 31, if we want them to be.

comment:3 Changed 8 months ago by nickm

Keywords: 041-deferred-20190530 added

Marking these tickets as deferred from 041.

comment:4 Changed 8 months ago by nickm

Milestone: Tor: 0.4.1.x-finalTor: unspecified

comment:5 Changed 7 months ago by teor

Cc: gaba added
Keywords: sponsor31-maybe added
Parent ID: #29792
Sponsor: Sponsor31-can

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

comment:6 Changed 7 months ago by gaba

Sponsor: Sponsor31-can

Yes. It makes sense. Thanks

Note: See TracTickets for help on using tickets.