diff --git a/unison-cli/src/Unison/CommandLine/InputPatterns.hs b/unison-cli/src/Unison/CommandLine/InputPatterns.hs index 40623a8c63..179c1d1567 100644 --- a/unison-cli/src/Unison/CommandLine/InputPatterns.hs +++ b/unison-cli/src/Unison/CommandLine/InputPatterns.hs @@ -2021,10 +2021,10 @@ pushForce :: InputPattern pushForce = InputPattern "unsafe.force-push" - [] - I.Hidden + ["push.unsafe-force"] + I.Visible [("remote destination", Optional, remoteNamespaceArg), ("local source", Optional, namespaceOrProjectBranchArg suggestionsConfig)] - (P.wrap "Like `push`, but overwrites any remote namespace.") + (P.wrap "Like `push`, but forcibly overwrites the remote namespace.") $ fmap ( \sourceTarget -> Input.PushRemoteBranchI diff --git a/unison-src/transcripts/help.output.md b/unison-src/transcripts/help.output.md index 510fe617cc..1b176f97b3 100644 --- a/unison-src/transcripts/help.output.md +++ b/unison-src/transcripts/help.output.md @@ -810,6 +810,9 @@ scratch/main> help undo `undo` reverts the most recent change to the codebase. + unsafe.force-push (or push.unsafe-force) + Like `push`, but forcibly overwrites the remote namespace. + update Adds everything in the most recently typechecked file to the namespace, replacing existing definitions having the same