We have delete_merged_branches = true
set in the config of an app, and i was wondering if it's possible to have:
master
|
|_ Branch A <- merge, close PR, & bors delete the branch
|_ Branch B <- not have bors close this PR
Or is this default github behaviour? (I hope this rubbish diagram makes sense)
Darn it, it stripped the spacing, basically Branch A is the base for the PR of Branch B
Tip: if your spacing matters, wrap it in triple-quotes, like this:
```
master
|
|_ Branch A <- merge, close PR, & bors delete the branch
|_ Branch B <- not have bors close this PR
```
This also works on GitHub.
Bors by default should not touch the 2nd pr. But it will be left orphaned when the parent branch is deleted.
I think you could change the base on the 2nd PR to point to master after the first is merged. As long as the parent commit that branch b was created on exists there, it should be ok.