build

github: rename `jj-docs-bot` to `jj-docs[bot]` #6887

Job	Run time
Check protos	35s
build (ubuntu-latest)	7m 22s
cargo-deny (advisories)	29s
build (macos-13)	4m 14s
Clippy check	2m 47s
Check that MkDocs can build the docs	29s
cargo-deny (bans licenses sources)	30s
build (windows-latest)	10m 36s
build (ubuntu-latest, --all-features)	6m 57s
Check formatting	20s
	34m 19s

Provide feedback