#!/bin/sh
# This is the script I use on my server to publish the spec.  It's not really
# useful for anyone else, I just want it in version control somewhere.
set -ex
cd ~/git/editing
git fetch
git push github
cd ~/webroot/tmp/editing
git fetch --all
cd /tmp
hg clone ~/webroot/tmp/editing hg-editing.$$
cd hg-editing.$$
hg push -r master https://dvcs.w3.org/hg/editing
cd ..
rm -rf hg-editing.$$