> Just want to confirm I understand correctly, > > The "create a merge commit" option is for git bot. > > When a human merge a PR, he/she should use "rebase and merge". Even when the PR > contains change to document. > > Is that right? Correct.