Daan De Meyer 81315baa68 ci: Remove a bunch of labels when a PR is merged		2023-01-10 14:52:53 +01:00
..
codeql-queries	boot: Simplify object erasure	2023-01-09 18:58:54 +01:00
ISSUE_TEMPLATE	github: update version in bug templates	2022-12-20 15:12:41 +01:00
workflows	ci: Remove a bunch of labels when a PR is merged	2023-01-10 14:52:53 +01:00
advanced-issue-labeler.yml	ci(issue-labeler): Update to advanced-issue-labeler@v2	2022-09-07 10:43:48 +02:00
codeql-config.yml	ci: drop LGTM stuff and move remaining bits into a new location	2022-09-13 21:32:15 +02:00
codeql-custom.qls	ci: enable a couple more possibly useful CodeQL queries	2022-09-14 22:09:19 +02:00
dependabot.yml	ci: update GHActions once a month	2022-01-29 19:26:14 +00:00
development-freeze.yml	ci(dev-freeze): Use GitHub Action for PR comments	2022-11-05 14:10:01 +01:00
FUNDING.yml	github: remove direct paypal link	2020-02-05 21:29:34 +09:00
labeler.yml	ci: use LGPLv2+ for all our ci configuration	2021-10-01 14:45:00 +02:00