blog.robur.coop/update.sh
2023-11-15 10:04:02 +00:00

6 lines
175 B
Bash
Executable file

#!/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