...
Auto-merge ? | Number of require approvals | |
|---|---|---|
No Ship/Show/Ask | No | 0 |
Ask>=n | No | n |
Show | Yes | 0 |
Show>=n | Yes | n |
Ship | Yes | 0 (And Skip Code Owners) |
| Info |
|---|
Note that when you are not using full Ship/Show/Ask support, the Auto merge [Auto] behaviour is equivalent to [Show]. |
Ask pull requests
When an [Ask>=n] pull request is initiated, it will not be merged automatically. Moreover, a merge check requiring n (>=1) approvals is added to the pull request. This means that in order for the pull request to be successfully merged, it must receive n approvals from designated reviewers or team members.
...
To initiate a [Ship] pull request, the user must select Auto-Merge, they should not require any approvals and they must select Merge without reviewers.
...
FAQ
What if I want to use the traditional manual merge for my pull request?
You can select “Manual merge” and requiring “No” approval from DevSensei. This will act as if DevSensei does not exist for your pull request.
How do DevSensei and Code Owners interact?
...