diff --git a/update.sh b/update.sh new file mode 100755 index 0000000..90ab3ab --- /dev/null +++ b/update.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +opam exec -- dune exec src/blogger.exe -- push \ + -r git@git.robur.coop:robur/blog.robur.coop.git#gh-pages \ + --name "The Robur team" \ + --email team@robur.coop