Add one or more `-o` or `--push-option=<option>` to a `git push` command. These options are passed in to the pre-receive and post-receive hooks. Some platforms use these to configure CI behavior on a per-push basis, such as [[GitLab]] and [[Sourcehut]], while some have [[GitLab Push Options|many more]].