Daan De Meyer da2a4f6a2e ci: Fix PR labeling ...

Make sure we only add labels to open pull request and remove labels
from closed pull requests.

2023-01-12 11:42:16 +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: Fix PR labeling

2023-01-12 11:42:16 +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