Comment by charsi

I use `git push -o ci.skip` all the time. Also things like ci.variable="DEPLOY_MODE=QUICK" is super handy when I do want to run a deploy in a specific configuration.