Opened 16 months ago

Last modified 5 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:


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 (7)

comment:1 Changed 16 months ago by teor

Parent ID: #29792

comment:2 Changed 14 months ago by teor

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

comment:3 Changed 13 months ago by nickm

Keywords: 041-deferred-20190530 added

Marking these tickets as deferred from 041.

comment:4 Changed 13 months ago by nickm

Milestone: Tor: 0.4.1.x-finalTor: unspecified

comment:5 Changed 13 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 13 months ago by gaba

Sponsor: Sponsor31-can

Yes. It makes sense. Thanks

comment:7 Changed 5 months ago by gaba

Sponsor: Sponsor31-can

No more sponsor 31. All this tickets remained open after sponsor 31 ended.

Note: See TracTickets for help on using tickets.