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.
