issues with codemeta auto-update in CI
- minor inconvenience: developer has to pull after opening a merge-request to get codemeta changes
- wrong metadata: in particular the version, can get wrongly updated in case a merge request opened before a release is finally merged after a new release
- major inconvenience: pipeline status is not used, opening the possibility to accidently merge code not passing unit tests