push with options?

[jalanh11640]

Can anyone point me to an example of how to push a branch to a remote and specify options? Here's a git command line example of what I would like to do via python.

git push -o ci.variable="CI_MODULE=myValue"

Thanks!

[Byron]

Passing arguments to git push can be done directly as described here - similar mechanisms also work with the more idiomatic way of handling remotes.