robur/blog.robur.coop
4
0
Fork 1
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

add update script

Browse source
This commit is contained in:
Robur 2023-11-15 10:04:02 +00:00
parent 13062f1eac
commit 7097c88d3b
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
update.sh Executable file
View file

@ -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