Re: [DISCUSS] Rebase and Squash Options on Github develop

[Jacob Barrett]

> On Jun 28, 2021, at 12:38 PM, Nabarun Nag <n...@vmware.com> wrote:
> 
> 
> I would like to propose to that we set the GitHub setting on develop PR to 
> rebase and squash buttons.

Does this proposal remove the option to “Rebase and Merge?