#/bin/sh
BRANCH=`git branch --show-current`
echo "Pushing branch $BRANCH"
git push
echo "Pushing subtree data for $BRANCH"
./update_subtree.sh
echo "Pushing a new web build for $BRANCH"
./update_web_build.sh