Make gh-pages pushing more explicit