do not post messages to gitlab merge requests for version HEAD

Marco Clemencicrequested to merge
no-gitlab-spam into master

To avoid spam from the nightly builds, the merge requests implied by the special version "HEAD" do not get a notification in gitlab.

Merge request reports