Pinging gh-pages bot