diff --git a/update.sh b/update.sh index ff79399..4c02910 100755 --- a/update.sh +++ b/update.sh @@ -1,6 +1,6 @@ #!/bin/sh -opam exec -- dune exec bin/push.exe -- +opam exec -- dune exec bin/push.exe -- \ -r git@git.robur.coop:robur/blog.robur.coop.git#gh-pages \ --host https://blog.robur.coop \ --name "The Robur team" \