Minor With the new automated PR checks in both elements and Web UI, we no longer need to trigger the ondemand workflow manually, because all the checks run automatically.
Instead of deleting the ondemand workflow, since we still need to trigger the workflow from the nuxeo-elements repository, we should rename the workflow to something more logic, like cross-repo.yaml.
