Skip to content

Commit

Permalink
github: rename jj-docs-bot to jj-docs[bot]
Browse files Browse the repository at this point in the history
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]`.
  • Loading branch information
ilyagr committed Sep 16, 2023
1 parent e288a15 commit f31e66d
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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-[email protected]
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)"
4 changes: 2 additions & 2 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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-[email protected]
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
Expand Down

0 comments on commit f31e66d

Please sign in to comment.