#!/bin/sh

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" \
  --email team@robur.coop