unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-12 04:34:38 +03:00
Code Issues Projects Releases Wiki Activity

makes the first argument of push required

Browse Source
This commit is contained in:
pete-ts 2020-03-20 21:03:58 +00:00
parent f8467a02c2
commit 3ee9e0c94f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
parser-typechecker/src/Unison/CommandLine/InputPatterns.hs
View File

@ -725,7 +725,7 @@ push :: InputPattern
push = InputPattern
"push"
[]
[(Optional, gitUrlArg), (Optional, pathArg)]
[(Required, gitUrlArg), (Optional, pathArg)]
(P.lines
[ P.wrap
"The `push` command merges a local namespace into a remote namespace."