Skip to content

Drop pipeline (use gitlab mirror instead)

James Tocknell requested to merge drop-gitlab-ci into master

We've got mirroring set up, so don't bother with pipeline.

Merge request reports