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