janestreet / opam-repository

Opam repository for the development version of Jane Street packages
101 stars 10 forks source link

Latest commit deleted approximately all packages #23

Closed smuenzel closed 1 year ago

smuenzel commented 1 year ago

This commit https://github.com/janestreet/opam-repository/commit/4f8fc8ea4811df9c48b92440512255f2d49d6c98 deleted most of the packages from this repo. I assume it was unintentional.

Is there any automated testing in place to ensure all packages are published?

smuenzel commented 1 year ago

Fix here: https://github.com/janestreet/opam-repository/pull/24