Kevin Daudt authored 5 years ago and Natanael Copa committed 5 years ago

This will enable the CI linting job for merge requests done on gitlab.
The linting job will allow for failures, so linting failures will show
up as worning, but won't prevent the rest of the CI pipeline to
continue.