Skip to content

opam repo set-url - add --no-action #4617

@dra27

Description

@dra27

At present opam repo set-url both changes the URL for the repo and issues an update. It would be useful (cf. ocurrent/docker-base-images#99 (comment)) to be able to have git remote set-url-like behaviour where the URL is updated but not yet fetched (although the default of actually updating is much more desirable than git's...)

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions