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	dependabot: also group cargo updates	2023-07-07 17:36:45 +02:00
PULL_REQUEST_TEMPLATE.md	docs: Fix missed paths from src->cli/src move	2023-08-18 14:35:19 +02:00