Jenkins: change how gh-pages branch gets re-built#3316

WardBrian merged 1 commit intodevelopstan-dev/math:developfrom

jenkins/gh-pages-build-tweaksstan-dev/math:jenkins/gh-pages-build-tweaksCopy head branch name to clipboard