Board dev branch via PR

Merge Topic Branch via PR into Integration Branch

How-to Open PR to dev

Prerequisites:

• Your git HEAD is on the Topic Branch

Tip

Adjust the instructions, using Inputs for Default and Integration Branches

• INPUT Default Branch (ie main)

  ---

• INPUT Integration Branch (ie dev)

  ---

1. Define Default and Integration Branches (1)

   
               export MAIN_BR=...
               export DEV_BR=...
           

2. Open PR to Integration Branch

   git checkout ${DEV_BR} && git pull && git rebase ${MAIN_BR} && git push -f
   git checkout - && git rebase ${DEV_BR}
   git push -f && gh pr create --base ${DEV_BR}
   

3. Enable Auto Merge

   gh pr merge --merge --auto
   

Congratulations !

Now the PR shall auto-merge once all Required Checks Pass !

Next Steps

Watch the PR Validation Workflow "live":

gh run watch