Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 11 lines (9 sloc) 142 Bytes
#!/bin/sh
./site.hs rebuild
cd prod
git ls-files | xargs git rm
cp -rv ../_site/* .
git add .
git commit -m "Update: $(date)"
git push
cd ..