Skip to content

Use User.bot parameter#1332

Draft
andrii-i wants to merge 3 commits intojupyterlab:mainfrom
andrii-i:use_bot_bool

Commits

Commits on Apr 25, 2025