@gaioguy Please do not create merge commits (as agreed last week). I removed the merge commit from the master branch.
I do not know if Github lets us change the default merge option. Anyways, you can select the other merge options by clicking on the arrow on the "merge pull request" button.
@gaioguy Please do not create merge commits (as agreed last week). I removed the merge commit from the master branch.
I do not know if Github lets us change the default merge option. Anyways, you can select the other merge options by clicking on the arrow on the "merge pull request" button.