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