Is this required after porting ppx_deriving to ppx[lib]?

[XVilka]

@gasche @rgrinberg

Related issue ocaml-ppx/ppx_deriving#203

[ghost]

Nope. We can indeed get rid of it after that!

[XVilka]

Nowadays that everything has been ported to ppxlib, maybe it makes sense to archive this repository?

[ghost]

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.

[whitequark]

@jeremiedimino GitHub calls that "archiving". Go here, click "Archive this repository". (Which I'm going to do now.)