build

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

Job	Run time
build (ubuntu-latest)	7m 34s
build (macos-13)	4m 29s
build (windows-latest)	11m 7s
cargo-deny (advisories)	30s
cargo-deny (bans licenses sources)	32s
Check protos	53s
build (ubuntu-latest, --all-features)	7m 18s
Clippy check	2m 53s
Check that MkDocs can build the docs	31s
Check formatting	16s
	36m 3s

Provide feedback