From acd7b2fd6b1ea11470fb647af9caec0909b2ccd8 Mon Sep 17 00:00:00 2001 From: Manu Sridharan Date: Tue, 18 Jan 2022 12:05:09 -0800 Subject: [PATCH 1/3] Update generate-latest-docs.sh --- util/generate-latest-docs.sh | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/util/generate-latest-docs.sh b/util/generate-latest-docs.sh index 7b1b35efca7..cf6a6f380ee 100755 --- a/util/generate-latest-docs.sh +++ b/util/generate-latest-docs.sh @@ -44,7 +44,9 @@ cd $GH_PAGES_DIR git add --all . git config --global user.name "$GITHUB_ACTOR" git config --global user.email "$GITHUB_ACTOR@users.noreply.github.com" -git commit -m "Latest docs on successful build $GITHUB_RUN_NUMBER auto-pushed to gh-pages" -git push -fq origin gh-pages > /dev/null - -echo -e "Published docs to gh-pages.\n" +if git commit -m "Latest docs on successful build $GITHUB_RUN_NUMBER auto-pushed to gh-pages"; then + git push -fq origin master > /dev/null + echo "Published docs to gh-pages." +else + echo "No doc changes to publish." +fi From 728d299f1e8f9dc2422f5fa4c7cc2bedc55755fe Mon Sep 17 00:00:00 2001 From: Manu Sridharan Date: Tue, 18 Jan 2022 12:13:54 -0800 Subject: [PATCH 2/3] whoops, fix a bad typo --- util/generate-latest-docs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/generate-latest-docs.sh b/util/generate-latest-docs.sh index cf6a6f380ee..82556524ec1 100755 --- a/util/generate-latest-docs.sh +++ b/util/generate-latest-docs.sh @@ -45,7 +45,7 @@ git add --all . git config --global user.name "$GITHUB_ACTOR" git config --global user.email "$GITHUB_ACTOR@users.noreply.github.com" if git commit -m "Latest docs on successful build $GITHUB_RUN_NUMBER auto-pushed to gh-pages"; then - git push -fq origin master > /dev/null + git push -fq origin gh-pages > /dev/null echo "Published docs to gh-pages." else echo "No doc changes to publish." From 47fcf63c8f7f07b29f1893a2ea5f62f17d6d4628 Mon Sep 17 00:00:00 2001 From: Manu Sridharan Date: Tue, 18 Jan 2022 12:15:27 -0800 Subject: [PATCH 3/3] use `echo -e` to match style --- util/generate-latest-docs.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/util/generate-latest-docs.sh b/util/generate-latest-docs.sh index 82556524ec1..78f28efd320 100755 --- a/util/generate-latest-docs.sh +++ b/util/generate-latest-docs.sh @@ -46,7 +46,7 @@ git config --global user.name "$GITHUB_ACTOR" git config --global user.email "$GITHUB_ACTOR@users.noreply.github.com" if git commit -m "Latest docs on successful build $GITHUB_RUN_NUMBER auto-pushed to gh-pages"; then git push -fq origin gh-pages > /dev/null - echo "Published docs to gh-pages." + echo -e "Published docs to gh-pages.\n" else - echo "No doc changes to publish." + echo -e "No doc changes to publish.\n" fi