github: rename jj-docs-bot
to jj-docs[bot]
#3653
The logs for this run have expired and are no longer available.
Loading
jj-docs-bot
to jj-docs[bot]
#3653