From e4762faff5f45e47fa36011e09a3692f5f453565 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Tue, 17 Dec 2024 15:21:43 +0100 Subject: [PATCH] Fix update.sh --- update.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" \