It would be useful, if there would be a option to provide `git push -o` options as a config. gitlab is using push options for some CI features which would simplify my pipeline. (https://docs.gitlab.com/ee/user/project/push_options.html)