1#!/bin/bash 2 3set -e -u 4 5echo "Publishing Javadoc and JDiff..." 6 7cd $HOME 8git clone -q -b gh-pages "https://x-access-token:${GITHUB_TOKEN}@github.com/google/guava.git" gh-pages > /dev/null 9cd gh-pages 10 11git config --global user.name "$GITHUB_ACTOR" 12git config --global user.email "$GITHUB_ACTOR@users.noreply.github.com" 13 14./updaterelease.sh snapshot 15 16git push -fq origin gh-pages > /dev/null 17 18echo "Javadoc and JDiff published to gh-pages." 19