Repository navigation

ci: use a GitHub App token for the issues board - #119

Closed

pkarolyi wants to merge 1 commit into

mainfrom

chore/project-bot-app

Closed

ci: use a GitHub App token for the issues board#119
pkarolyi wants to merge 1 commit into
mainfrom
chore/project-bot-app

GitHub Advanced Security / CodeQL succeeded Aug 20, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.