diff --git a/bin/build_pages b/bin/build_pages new file mode 100755 index 0000000000..684d1d8ad6 --- /dev/null +++ b/bin/build_pages @@ -0,0 +1,15 @@ +#!/bin/bash + +cd ${HOME}/git/twittelection +git fetch +git checkout master +git pull +bin/build +git commit -a -m "Regenerated pages" +git push +git checkout gh-pages +git pull +git merge master +git push +git checkout master +