Skip to content

opam pin list: show the commit  #5533

@pitag-ha

Description

@pitag-ha

Hey there,

Currently, the output of opam pin is

$ opam pin -vvv
gilbraltar.~dev              git  git+ssh://git@github.com/dinosaure/gilbraltar.git

I think it would be very nice also to get info about the state of the branch the package was pinned to, e.g. something like

$ opam pin -vvv
gilbraltar.~dev              git  git+ssh://git@github.com/dinosaure/gilbraltar.git      17372544a9c380a3d95cd698555da4f8f0c0eae9

@kit-ty-kate has already told me that I can find that info by inspecting the switch's .opam-switch/sources/<pkg_name> directory. However, she also suggested to open this issue :)

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions