Make publish script work with branches
authorAryeh Gregor <AryehGregor+gitcommit@gmail.com>
Fri, 16 Sep 2011 14:35:34 -0600
changeset 588 11bb09aa6b33
parent 587 846e125a5e07
child 589 b47a9462a361
Make publish script work with branches
publish
--- a/publish	Fri Sep 16 12:59:05 2011 -0600
+++ b/publish	Fri Sep 16 14:35:34 2011 -0600
@@ -11,4 +11,4 @@
 rm -rf hg-editing || true
 hg clone ~/webroot/tmp/editing hg-editing
 cd hg-editing
-hg push https://dvcs.w3.org/hg/editing
+hg push -r master https://dvcs.w3.org/hg/editing