Replace use of gitlab-ci skip with git push option
While on the hunt for GitLab token related information I stumbled across https://gitlab.com/gitlab-org/gitlab-foss/-/merge_requests/15643 which provides a way to avoid "polluting" commit messages with skip-ci tags using git push -o ci.skip
in place.
Might be of interest for the automatic new version update workflow in the BOB/BEAT packages.