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.