You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
19 lines
439 B
19 lines
439 B
#!/bin/bash
|
|
|
|
set -e -u
|
|
|
|
echo "Publishing Javadoc and JDiff..."
|
|
|
|
cd $HOME
|
|
git clone -q -b gh-pages "https://x-access-token:${GITHUB_TOKEN}@github.com/google/guava.git" gh-pages > /dev/null
|
|
cd gh-pages
|
|
|
|
git config --global user.name "$GITHUB_ACTOR"
|
|
git config --global user.email "$GITHUB_ACTOR@users.noreply.github.com"
|
|
|
|
./updaterelease.sh snapshot
|
|
|
|
git push -fq origin gh-pages > /dev/null
|
|
|
|
echo "Javadoc and JDiff published to gh-pages."
|