Only deal with our main repository when pushing.
Move the documentation publishing code to the build config so that people cannot PR and clobber our documentation...