Closed gaborigloi closed 5 years ago
Can we remove the URL instead from the opam file checked into the repo? I think the url update should be done on xs-opam.
Discussed with @lindig that it is better to keep these in sync with xs-opam, opam should ignore the URL when pinning anyway. We might need a tool in the future (like planex-release) to update the opam files after a release.
Yep, we should make a tool for managing xs-opam
Signed-off-by: Gabor Igloi gabor.igloi@citrix.com