blog.robur.coop/update.sh

8 lines
202 B
Bash
Raw Normal View History

2023-11-15 10:04:02 +00:00
#!/bin/sh
2024-12-17 14:21:43 +00:00
opam exec -- dune exec bin/push.exe -- \
2023-11-15 10:04:02 +00:00
-r git@git.robur.coop:robur/blog.robur.coop.git#gh-pages \
--host https://blog.robur.coop \
2023-11-15 10:04:02 +00:00
--name "The Robur team" \
--email team@robur.coop