3 Commits

Include renames

Author	SHA1	Message	Date
Nick Craig-Wood	a2ce8b04f3	build: add explicit permissions to GitHub Actions workflows ... This restricts the GITHUB_TOKEN to least-privilege in all workflows, fixing CodeQL code-scanning alerts for actions/missing-workflow-permissions.	2026-04-09 14:37:30 +01:00
Nick Craig-Wood	c6c327e4e7	build: update issue label notification machinery	2024-05-15 15:07:45 +01:00
Nick Craig-Wood	41d5d8b88a	build: add issue label notification machinery	2024-05-10 16:15:28 +01:00