Always deploy from stable website branch

11 years ago · a80f6fd979
parent 564b235b82
commit a80f6fd979
1 changed files with 3 additions and 0 deletions
--- a/scripts/website_push.sh
+++ b/scripts/website_push.sh
@ -1,5 +1,8 @@
 #!/bin/bash

+# Switch to the stable-website branch
+git checkout stable-website
+
 # Set the tmpdir
 if [ -z "$TMPDIR" ]; then
  TMPDIR="/tmp"