robur/blog.robur.coop
4
0
Fork 1
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

Upgrade to the unreleased version of YOCaml 2 #2

Merged
reynir merged 4 commits from yocaml2 into main 2024-10-04 11:24:35 +00:00
Conversation 4 Commits 4 Files changed 36 +1 -1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 74ad2da16d - Show all commits

2
bin/push.ml
View file

@ -29,7 +29,7 @@ module Source = Yocaml_git.From_identity (Yocaml_unix.Runtime)
let usage = let usage =
Fmt.str Fmt.str
"%s [--message <message>] [--author <author>] [--email <email>] -r \ "%s [--message <message>] [--author <author>] [--email <email>] -r \
<repository>" <repository>#<branch>"
Sys.argv.(0) Sys.argv.(0)
let specification = let specification =