Merge branch 'master' into update-chagelog

* master:
  Fix changes list for formatting check

.gitlab-ci.yml

@@ -85,7 +85,7 @@ coding-conventions:
     - sudo pip install autopep8==1.3.5
     - make BUILDDIR=${BUILDDIR} configure
     - git fetch https://gitlab.cern.ch/gaudi/Gaudi.git master
-    - git diff --name-only --no-renames --diff-filter MA FETCH_HEAD..HEAD | grep -E '\.(h|i?cpp|py)$' |
+    - git diff --name-only --no-renames --diff-filter MA FETCH_HEAD...HEAD | grep -E '\.(h|i?cpp|py)$' |
       xargs --no-run-if-empty ${BUILDDIR}/apply-formatting || true
     - "echo \"From: Gitlab CI <noreply@cern.ch>\" > apply-formatting.patch"
     - "echo \"Date: $(date -R)\" >> apply-formatting.patch"