Merge pull request #5459 from unisonweb/cp/visible-push-force

unisonweb · Nov 25, 2024 · 287db83 · 287db83
2 parents d7a1edb + 547fdbf
commit 287db83
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git 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
@@ -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