Open XVilka opened 4 years ago
Nope. We can indeed get rid of it after that!
Nowadays that everything has been ported to ppxlib, maybe it makes sense to archive this repository?
It shouldn't be, but archiving the repo might break some links from the opam repo. Could put it read-only though. I can't remember how to do that, but will look into it when I get a minute.
@jeremiedimino GitHub calls that "archiving". Go here, click "Archive this repository". (Which I'm going to do now.)
@gasche @rgrinberg
Related issue https://github.com/ocaml-ppx/ppx_deriving/issues/203