merge request is not updated if a new record version is pushed to Zenodo