From 33269034a418d205203ac1d491974dfd5c46fa3d Mon Sep 17 00:00:00 2001 From: Ilya Grigoriev Date: Fri, 15 Sep 2023 18:33:47 -0700 Subject: [PATCH] github: rename jj-docs-bot to jj-docs[bot] Perhaps this will stop Github from showing jj-docs-bot as a very active contributor in https://github.com/martinvonz/jj/pulse. This would probably fair, even though jj-docs-bot tries its best to be a good and helpful bot. Regardless, this seems to be the standard on Github which has `dependabot[bot]` and `github-actions[bot]`. --- .github/workflows/docs.yml | 4 ++-- .github/workflows/release.yml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 3960a85d51..6c11d6ef55 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -27,8 +27,8 @@ jobs: poetry-version: latest - name: Install dependencies, compile and deploy docs run: | - git config user.name jj-docs-bot - git config user.email jj-docs-bot@users.noreply.github.io + git config user.name jj-docs[bot] + git config user.email jj-docs[bot]@users.noreply.github.io .github/scripts/docs-build-deploy 'https://martinvonz.github.io/jj' prerelease main --push - name: "Show `git diff --stat`" run: git diff --stat gh-pages^ gh-pages || echo "(No diffs)" diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 9a7a1f73ab..b8bdf57f0e 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -123,8 +123,8 @@ jobs: poetry-version: latest - name: Install dependencies, compile and deploy docs to the "latest release" section of the website run: | - git config user.name jj-docs-bot - git config user.email jj-docs-bot@users.noreply.github.io + git config user.name jj-docs[bot] + git config user.email jj-docs[bot]@users.noreply.github.io # Using the 'latest' tag below makes the website default # to this version. .github/scripts/docs-build-deploy 'https://martinvonz.github.io/jj' "${{ github.event.release.tag_name }}" latest --update-aliases --push