Hi, All. GitHub provides three merge options like the following. I'd like to propose to disable the `Create a merge commit` option (the first one) explicitly to keep the same behavior with our merge practice before GitHub Era. It will remove accidental `merging and force-push` situations. What do you think?
[image: Screen Shot 2021-01-07 at 4.05.41 PM.png] Bests, Dongjoon.
