editing: changeset 578:454acf222e9f

author	Aryeh Gregor <AryehGregor+gitcommit@gmail.com>
	Thu, 15 Sep 2011 14:41:15 -0600
changeset 578	454acf222e9f
parent 577	6e9d4bc4a2c5
child 579	fd21546d45bd

Specify hg pull target explicitly

I seem to have to destroy and recreate the repo often enough that it's
more convenient this way. hg-git seems to have some bugs, at least in
whatever version Ubuntu 10.04 packages.

publish

--- a/publish	Mon Sep 12 15:43:42 2011 -0600
+++ b/publish	Thu Sep 15 14:41:15 2011 -0600
@@ -6,7 +6,7 @@
 git pull
 git push github
 cd ~/webroot/spec/hg-editing
-hg pull
+hg pull ~/webroot/tmp/editing
 hg push https://dvcs.w3.org/hg/editing
 cd ~/webroot/tmp/editing
 git fetch --all

editing

Hosted by W3C Systems Team, please report bugs to sysreq@w3.org