Commit Graph

3 Commits

Author SHA1 Message Date
Paul Hinze
3080c827d8 scripts: change website_push to push from HEAD
so it works properly on release branches
2015-07-28 18:38:59 -05:00
Jeff Zellner
ac462d2ef1 use /usr/bin/env bash 2015-06-30 11:52:11 -06:00
Jack Pearkes
b30c17a499 website: add website deploy, tweak fonts 2014-07-28 10:28:41 -04:00