Description

It would be nice to support git push options (added in Git 2.10.2). Preferable separated for the commit push and the tag push.

Use cases

We are using GitLab CI/CD and want to use this tool for version management but don't want a pipeline run for the version bump commit. This could be archived by using the push option ci.skip for the new commit.

Adding [skip ci] to every commit has also impact on everything else referencing this commit (for example the tag).

Possible implementation

I tested that it works by simply modifying the commit push line from repo.git.push(remote_url, branch) to repo.git.push(remote_url, branch, "-o", "ci.skip") and it works.

I did not create a PR because I'm unsure which is the best option for adding this as a cli/config parameter.