Change merge button behaviour
The git history has become a mess ever since we've started rejecting directly pushing to the master branch: now we have those "merged" commits all over the place. This is due to the following setting for this repository:
I would like to go ahead and change this to "fast-forward". Any objections?