Create a GitHub bot that makes sure there is a pull request on master for every branch
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.