switch back to master branch to publish

Author: Marcos Cáceres

deploy.sh

@@ -64,4 +64,5 @@ ssh-add ../deploy_key
 
 # Now that we're all set up, we can push.
 git push $SSH_REPO $TARGET_BRANCH
-bikeshed echidna --md-status=WD --u $USER --p $PASS --decision $DECISION --cc=marcos@marcosc.com out/index.bs
+git checkout $SOURCE_BRANCH
+bikeshed echidna --md-status=WD --u $USER --p $PASS --decision $DECISION --cc=marcos@marcosc.com