gundo.vim/publish.sh @ 15d3b832fdc5 default tip

cl-digraph: Update site.
author Steve Losh <steve@stevelosh.com>
date Wed, 21 Jun 2023 15:21:12 -0400
parents d61bb4fbe61d
children (none)
#!/usr/bin/env bash

set -euo pipefail

hg -R ~/src/docs.stevelosh.com pull -u
rsync --delete -az . ~/src/docs.stevelosh.com/gundo.vim
hg -R ~/src/docs.stevelosh.com commit -Am 'gundo.vim: Update documentation.'
hg -R ~/src/docs.stevelosh.com push