Warning: Due to various recent migrations, viewing non-HEAD refs may be broken.
/scripts/publish (raw)
#!/bin/bash set -eux cd "${BASH_SOURCE[0]%/*}/.." make docs rsync --delete-after -rP docs/libgit2/ me@runxiyu.org:/var/www/docs/hare/libgit2