Pinging gh-pages to revive the Pages server.