Skip to content

Doc: simplify and update instructions to add/update dependencies

The opam-repo handling can be simplified by using a single opam-repo rather than forks. This MR updates the documentation to recommend the simpler workflow.

In addition, the MR updates the documentation to mention the manifest.

Merge request reports