Skipping CI in Gitlab

You can use a --push-option (or -o) flag to prevent a CI pipeline running it Gitlab, e.g.

git push -o ci.skip

This seems unique to Gitlab, with Github having its own rules.

https://docs.gitlab.com/ee/topics/git/commit.html#push-options

[[git]]