Okay so i have tried to migrate from [skip ci] in the commit messages to the push option to skip CI. We use jenkins as our build environment (Currently with an old git 2.10 plugin).
When i push either from my local dev machine (git for windows 2.31) of jenkins, i see a push event in the /services/jenkins/hook_logs of the jenkins ci integrations.
Unfortunately it contains “push_options”: {
},
I pushed with the following: git push --push-option ci.skip -o skip.ci.
I tried finding gitlab issues regarding this but seemed to have failed. I just upgraded from gitlab 13.2.0-ee.0 to 13.10.3-ee.0’ hoping this issue was somehow related: hooks: Go implementation breaks Push options (#3120) · Issues · GitLab.org / gitaly · GitLab
I don’t entirely know where to diagnose this. Am i pushing wrong. Are my expectations wrong? Is there any way to see the push events outside the jenkins ci to further narrow in on the issue?
I would like to get the pipeline to skip on gitlab or to pass the push_options back over http to jenkins so in the job there i can decide to skip.
Any suggestions are welcome.