cmd/cue: stabilize mod registry, rename, mirror
`cue mod registry` was added in February 2024,
and has not really been changed since.
There is one feature request as a GitHub issue to pre-populate
the registry with directory contents, but that can likely be done
via a new flag in a backwards-compatible way.
`cue mod rename` was added in January 2025,
and has not been changed since either.
It has had no bugs or feature requests filed.
`cue mod mirror` was added in February 2025,
and the last change was in May 2025 to add --dry-run.
It only had one bug reported on GitHub, which was fixed.
Note that `mod registry` was hidden but not experimental,
`mod rename` just had a trailing "not yet stable" note,
and `mod mirror` was experimental but not hidden.
These commands have existed for two full releases,
or almost a full year, and they have been documented in release notes
as well as cuelang.org guides for CUE registries and modules.
Given that we have no plans to redesign or make any breaking changes
to these anytime soon, stabilize them.
Fixes #3785.
Fixes #3890.
Signed-off-by: Daniel Martí <mvdan@mvdan.cc>
Change-Id: I4ecdd3f8b1563f0024ea09e9a693bdd560496198
Reviewed-on: https://cue.gerrithub.io/c/cue-lang/cue/+/1227721
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>
Reviewed-by: Roger Peppe <rogpeppe@gmail.com>