Passthrough cli options to git

[jurgenhaas]

When using git flow hotfix finish -F -p -m "some message" hotfix01 or similar commands, this implies one or more git push commands as well. What we would like to do is passing -o ci.skip to those git push commands. There are other git push options too, depending which remote git server you're using.

My question being: is there a way to provide extra command line options that are not for git flow but should be forwarded to the inherent git push?