Skip to content

ci: do not read a bot's pull-request text for AI tooling names - #321

Merged
pierre-warnier merged 1 commit into
mainfrom
ci/skip-bot-pr-text
Sep 21, 2026
Merged

pierre-warnier merged 1 commit into
mainfrom
ci/skip-bot-pr-text

Commits

Commits on Sep 21, 2026