GitLab: Push without triggering CI Pipeline

Short hint: If you want to push to a git repository that has CI configured, you can skip the CI pipeline for commits that don't need a CI run:

$ git push -o ci.skip

This has a few cavates:

Skips only branch pipelines and not merge request pipelines.
This does not skip pipelines for CI/CD integrations, such as Jenkins.