Reopening a separate issue after https://github.com/ocurrent/opam-repo-ci/pull/43#issuecomment-2181034907 was closed this feature is still desirable
Reopening a separate issue after #43 (comment) was closed
this feature is still desirable