Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

opam pin URL --show saves the pinning #4348

Closed
AltGr opened this issue Sep 10, 2020 · 0 comments · Fixed by #4367
Closed

opam pin URL --show saves the pinning #4348

AltGr opened this issue Sep 10, 2020 · 0 comments · Fixed by #4367
Labels
AREA: UI KIND: BUG
Projects
Opam 2.1.x
Milestone
2.1.0~beta4

Comments

@AltGr
Copy link
Member

AltGr commented Sep 10, 2020

It would be nicer & more consistent to simulate the pin as well, like is done for opam install --show
@rjbou rjbou added this to To do in Feature Wish via automation Sep 16, 2020
@rjbou rjbou mentioned this issue Sep 17, 2020
Merged
@rjbou rjbou moved this from To do to In progress in Feature Wish Sep 17, 2020
@rjbou rjbou added this to the 2.1.0~beta3 milestone Sep 17, 2020
@rjbou rjbou added this to To do in Opam 2.1.x via automation Sep 17, 2020
@rjbou rjbou removed this from In progress in Feature Wish Sep 17, 2020
@rjbou rjbou moved this from To do to In Progress in Opam 2.1.x Sep 17, 2020
Opam 2.1.x automation moved this from In Progress to Done Sep 22, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
AREA: UI KIND: BUG
Projects
No open projects
Opam 2.1.x
  
Done
Milestone
2.1.0~beta4
Development

Successfully merging a pull request may close this issue.

Pin show rjbou/opam
2 participants
@AltGr @rjbou