#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
_______________________________________________ tor-bugs mailing list tor-bugs@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs