You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Niels van Velzen 07b9ba2bb4 Set GITHUB_TOKEN permissions to read only in OpenAPI workflow		3 years ago
..
ISSUE_TEMPLATE	Update bug_report.md	3 years ago
workflows	Set GITHUB_TOKEN permissions to read only in OpenAPI workflow	3 years ago
CODEOWNERS	Make me codeowner of the .ci dir	4 years ago
dependabot.yml	Add workflows for rebase and project automation	3 years ago
pull_request_template.md	Update GitHub templates	5 years ago
stale.yml	Disable automatic closing of PRs	3 years ago