Mario Zechner 64a8b64b52 fix: remove duplicate core import in approve-contributor workflow ... actions/github-script already provides core as a global		2026-01-18 13:05:17 +01:00
..
workflows	fix: remove duplicate core import in approve-contributor workflow	2026-01-18 13:05:17 +01:00
APPROVED_CONTRIBUTORS	chore: add PR approval gate for new contributors	2026-01-18 12:26:45 +01:00