Code

Introducing default cli#4575

Code

Merged

dra27 merged 9 commits intoocaml:masterocaml/opam:masterfrom rjbou:default-clirjbou/opam:default-cliCopy head branch name to clipboardMar 19, 2021

+234-148

Commits

Commits on Mar 15, 2021

• cli: harmonize mk_* commands

  rjbou

  committed
  e6958f4

  Copy full SHA for e6958f4

• cli: add `OpamCLIVersion.originate' for provenance augmented cli version

  rjbou

  committed
  7466dac

  Copy full SHA for 7466dac

• cli: add default cli mechanism

  Show description for b86103b
  rjbou

  committed
  b86103b

  Copy full SHA for b86103b

• cli: add warning for default cli

  Show description for 304bdd1
  

  rjbou

  and

  dra27

  committed
  304bdd1

  Copy full SHA for 304bdd1

• config: set depreacted options in default cli

  rjbou

  committed
  9ebbaf4

  Copy full SHA for 9ebbaf4

• cli: generalise `mk_tristate_opt' to mk_state_opt

  rjbou

  committed
  3c0b85a

  Copy full SHA for 3c0b85a

• test: update cli versioning

  rjbou

  committed
  68cddd7

  Copy full SHA for 68cddd7

• test gha: add in hygiene job to check default cli version on major bump, on master push

  rjbou

  committed
  15ee685

  Copy full SHA for 15ee685

• update changes

  rjbou

  committed
  0656c1b

  Copy full SHA for 0656c1b