Linus Groh cbad79fa86 CI: Use default provided GITHUB_TOKEN for PR label workflow ... Using BUGGIEBOT_TOKEN doesn't work in all cases for unknown reasons. See also: https://github.com/actions/github-script#using-a-separate-github-token		2023-01-06 19:11:41 +01:00
..
workflows	CI: Use default provided GITHUB_TOKEN for PR label workflow	2023-01-06 19:11:41 +01:00
CODEOWNERS	Meta: Mark myself a CODEOWNER of some paths to be alerted of related PRs	2023-01-03 19:51:49 +01:00
FUNDING.yml	Meta: Add networkException's GitHub sponsors to the funding options list	2022-10-06 15:45:12 +02:00
stale.yml	Meta: Instruct stale-bot to ignore pr-is-blocked PRs	2022-10-15 12:05:57 +02:00