Commits

abudden committed cda512e

Ensure github is updated when publishing.

Comments (0)

Files changed (1)

dist/vcs_publish.sh

 BITBUCKET=ssh://hg@bitbucket.org/${BBUSER}/${BBPROJ}
 GITHUB=git+ssh://git@github.com:${GHUSER}/${GHPROJ}.git
 
+# Create a bookmark so that github is properly updated
+hg bookmark master -f
+
 hg push $BITBUCKET
 # Only fail on error, not on "no changes to push"
 if [ $? -gt 1 ]