Small script to update GitHub Pages.