merge with merge-commit
Currently, merging from deveo does a fast-forward merge, if applicable.
This causes Jenkins to not trigger a build (https://issues.jenkins-ci.org/browse/JENKINS-17411) from such a merge to master, if the branch was built already.
This issue seems to divide opinions, so please make it a repo-specific setting to do merges fast-forward or merge-commit.
Veli-Matti Luoto commented
Currently Deveo in fact does not fast-forward merges done via code reviews. However, fast-forward merges are the default behavior of Git, so I wonder whether you meant something else instead?