opam unpin, mention the unpinned value and allow to cancel #1303
Description
With opam git-version 3dc88cc we have:
> opam unpin gg
gg is now unpinned
gg needs to be reinstalled, do it now ? [Y/n] n
# Aargh I didn't want to unpin in the end
- It would be nice to mention the old pin value (e.g. so that you can quickly repin in case of user error)
- It would be nice to be able to cancel.
Something like:
> opam unpin gg
gg is now unpinned from {git,version,directory}-pin bla
gg needs to be reinstalled, do it now (use 'c' to cancel unpin) ? [Y/n/c] c
Unpin cancelled, gg is still {git,version,directory}-pinned to bla