Re-encrypt GH_TOKEN
Re-hide the output of git push in deploy_doc.sh