scripts: change website_push to push from HEAD

so it works properly on release branches
pull/2883/head
Paul Hinze 11 years ago
parent d780524385
commit 3080c827d8

@ -9,4 +9,4 @@ DIR="$( cd -P "$( dirname "$SOURCE" )/.." && pwd )"
cd $DIR
# Push the subtree (force)
git push heroku `git subtree split --prefix website master`:master --force
git push heroku `git subtree split --prefix website HEAD`:master --force

Loading…
Cancel
Save