Merge pull request #4361 from JohanWinther/pull-explanation-missing-s…

…paces
unisonweb · Nov 8, 2023 · e8314b0 · e8314b0
2 parents 22c0d97 + fdb3808
commit e8314b0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/CONTRIBUTORS.markdown b/CONTRIBUTORS.markdown
@@ -78,3 +78,4 @@ The format for this list: name, GitHub handle
 * Hatim Khambati (@hatimkhambati26)
 * Kyle Goetz (@kylegoetz)
 * Ethan Morgan (@sixfourtwelve)
+* Johan Winther (@JohanWinther)
diff --git a/unison-cli/src/Unison/CommandLine/InputPatterns.hs b/unison-cli/src/Unison/CommandLine/InputPatterns.hs
@@ -1210,11 +1210,11 @@ pullImpl name aliases verbosity pullMode addendum = do
           argTypes = [(Optional, remoteNamespaceArg), (Optional, namespaceArg)],
           help =
             P.lines
-              [ P.wrap
+              [ P.wrap $
                   "The"
-                  <> makeExample' self
-                  <> "command merges a remote namespace into a local namespace"
-                  <> addendum,
+                    <> makeExample' self
+                    <> "command merges a remote namespace into a local namespace"
+                    <> addendum,
                 "",
                 P.wrapColumn2
                   [ ( makeExample self ["@unison/base/main"],