Make it so pin list display the current revision of the pinned repo#6274

Merged

rjbou merged 2 commits intoocaml:masterfrom desumn:master

Nov 27, 2024

+120-93

Commits on Nov 27, 2024

ci: add opam-rt branch lookup for the form of username/branchname
rjbou
committed
Make it so pin list display the current revision of the pinned repo

desumn
authored and
rjbou
committed