build

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

Job	Run time
build (ubuntu-latest)	7m 31s
Check protos	36s
build (macos-13)	4m 40s
build (windows-latest)	9m 18s
Clippy check	3m 5s
build (ubuntu-latest, --all-features)	6m 59s
Check that MkDocs can build the docs	35s
Check formatting	16s
cargo-deny (advisories)	28s
cargo-deny (bans licenses sources)	31s
	33m 59s

Provide feedback