build

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

Job	Run time
build (ubuntu-latest)	11m 0s
build (macos-13)	5m 8s
Check protos	1m 9s
build (windows-latest)	9m 29s
build (ubuntu-latest, --all-features)	6m 55s
Check formatting	17s
cargo-deny (advisories)	28s
Clippy check	2m 48s
cargo-deny (bans licenses sources)	28s
Check that MkDocs can build the docs	34s
	38m 16s

Provide feedback