ci.sh should now push generated contents to gh-pages