fix pushing gh-pages in CI#200

isaacbrodsky merged 1 commit into

uber:masteruber/h3-java:masterfrom

isaacbrodsky:website-push-fixisaacbrodsky/h3-java:website-push-fixCopy head branch name to clipboard