Ilya Grigoriev f31e66d663 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]`.		2023-09-15 19:31:48 -07:00
..
ISSUE_TEMPLATE
scripts	Github actions to build docs	2023-08-28 10:43:48 -07:00
workflows	github: rename jj-docs-bot to jj-docs[bot]	2023-09-15 19:31:48 -07:00
dependabot.yml
PULL_REQUEST_TEMPLATE.md