7 lines
175 B
Bash
7 lines
175 B
Bash
|
#!/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
|