Push options no longer work

Starting today, the git push -o ci.variable="name=value" stopped working. Specifying the same variable using HTML interface works.

The variable in question is used in workflow:rules to enable running the pipeline, so, it's not possible to debug the issue as not recognizing the variable in push options leads to pipeline not being created.