Skip to content

ci: replace branch-protection-bot with actions/github-script - #507

Open
NiccoloFei wants to merge 1 commit into
mainfrom
dev/drop-branch-protection-bot
Open

NiccoloFei wants to merge 1 commit into
mainfrom
dev/drop-branch-protection-bot

Commits

Commits on Sep 10, 2026