From 8d26465bb06ea602bf1c061054e5cdc62535711c Mon Sep 17 00:00:00 2001 From: tt2468 Date: Mon, 26 Apr 2021 17:35:19 -0700 Subject: [PATCH] docs: Update docs and ci again --- .github/workflows/generate_docs.yml | 2 +- CI/generate-docs.sh | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml index f4b46142..257d1e6a 100644 --- a/.github/workflows/generate_docs.yml +++ b/.github/workflows/generate_docs.yml @@ -3,7 +3,7 @@ name: 'Generate docs' on: push: paths-ignore: - - 'docs/**' + - 'docs/generated/**' branches: - master diff --git a/CI/generate-docs.sh b/CI/generate-docs.sh index 6c4ba1bb..035ba9d0 100755 --- a/CI/generate-docs.sh +++ b/CI/generate-docs.sh @@ -22,10 +22,10 @@ REMOTE_URL="$(git config remote.origin.url)" TARGET_REPO=${REMOTE_URL/https:\/\/github.com\//github.com/} GITHUB_REPO=https://${GH_TOKEN:-git}@${TARGET_REPO} -git config user.name "Azure CI" +git config user.name "Github Actions" git config user.email "$COMMIT_AUTHOR_EMAIL" git add ./generated git pull -git commit -m "docs(ci): Update protocol.md - $(git rev-parse --short HEAD) [skip ci]" -git push -q $GITHUB_REPO \ No newline at end of file +git commit -m "docs(ci): Update generated docs - $(git rev-parse --short HEAD) [skip ci]" +git push -q $GITHUB_REPO