minor documentation updates

This commit is contained in:
Hannes Mehnert 2024-10-28 18:10:05 +01:00
parent bc02087612
commit f35e0763db
2 changed files with 2 additions and 2 deletions

View file

@ -38,7 +38,7 @@ An SSH communication will starts. If you already registered your private key
with `ssh-agent` and your `.ssh/config` is configured to take this one if you
communicate with with `git@git.robur.coop`, everything will be smooth! Et voilà!
At the end, an HTTP request will be send to `https://blog.robur.coop` (via
Gitea) to update the unikernel with the last version of the blog.
Forgejo) to update the unikernel with the last version of the blog.
You can also use the `update.sh` script to update the blog with the builder user
on the server machine.

View file

@ -1,6 +1,6 @@
#!/bin/sh
opam exec -- dune exec src/push.exe --
opam exec -- dune exec bin/push.exe --
-r git@git.robur.coop:robur/blog.robur.coop.git#gh-pages \
--host https://blog.robur.coop \
--name "The Robur team" \