More information on opam repo list
or add opam repo info
#5029
Labels
Projects
opam repo list
or add opam repo info
#5029
Currently it's quite hard or impossible to know at which commit an opam repository is. I think
opam repo list
:could add a column after the name with the short hash at which the repo is. For now the only place I could find the information is in
opam config report
and only for the default repository:Alternatively if there's more useful information about a repo one might want to know maybe an
opam repo info
command could be warranted.Thanks.
/cc @kit-ty-kate
The text was updated successfully, but these errors were encountered: