Skip to content
Snippets Groups Projects
Commit 84719d84 authored by Joseph Weston's avatar Joseph Weston
Browse files

ci: remove Github mirroring 

Gitlab now has built-in mirroring, so we don't need to have a CI
step for this now.
parent 765f797b
No related branches found
No related tags found
No related merge requests found
Pipeline #11410 passed with warnings
Stage: build
Stage: test