git push gh-pages quietly. Fix GH_TOCKEN leaking.