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