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 \
|
2024-09-30 18:39:49 +00:00
|
|
|
--host https://blog.robur.coop \
|
2024-12-17 14:22:29 +00:00
|
|
|
--author "The Robur team" \
|
2023-11-15 10:04:02 +00:00
|
|
|
--email team@robur.coop
|