Skip to content

gitlab-ci: Re-enable linters on push

Emanuele Aina requested to merge wip/em/re-enable-linters-on-push into master

Relatedly, fix a formatting issue in packaging-data-fetch-obs.

Merge request reports