--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/publish	Mon Sep 12 15:33:48 2011 -0600
@@ -0,0 +1,12 @@
+#!/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 -e
+cd ~/webroot/spec/editing
+git pull
+git push github
+cd ~/webroot/spec/hg-editing
+hg pull
+hg push https://dvcs.w3.org/hg/editing
+cd ~/webroot/tmp/editing
+git fetch --all