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.
32 lines
798 B
32 lines
798 B
#!/bin/bash |
|
|
|
set -e |
|
|
|
DOCS_DIR=generated/docs |
|
CHECKOUT_DIR=../envoy-docs |
|
PUBLISH_DIR="$CHECKOUT_DIR"/docs/envoy/latest |
|
BUILD_SHA=`git rev-parse HEAD` |
|
|
|
if [ -z "$CIRCLE_PULL_REQUEST" ] && [ "$CIRCLE_BRANCH" == "master" ] |
|
then |
|
echo 'cloning' |
|
git clone git@github.com:envoyproxy/envoyproxy.github.io "$CHECKOUT_DIR" |
|
|
|
git -C "$CHECKOUT_DIR" fetch |
|
git -C "$CHECKOUT_DIR" checkout -B master origin/master |
|
rm -fr "$PUBLISH_DIR" |
|
mkdir -p "$PUBLISH_DIR" |
|
cp -r "$DOCS_DIR"/* "$PUBLISH_DIR" |
|
cd "$CHECKOUT_DIR" |
|
|
|
git config user.name "envoy-docs(travis)" |
|
git config user.email envoy-docs@users.noreply.github.com |
|
echo 'add' |
|
git add . |
|
echo 'commit' |
|
git commit -m "docs data-plane-api@$BUILD_SHA" |
|
echo 'push' |
|
git push origin master |
|
else |
|
echo "Ignoring PR branch for docs push" |
|
fi
|
|
|