the doc publish script didn't work until i modified it to use

PANTS_GH_PAGES='git@github.com:pantsbuild/pantsbuild.github.io'