Robert Hensing 1a710e54dc .github/ci: Use fixed names ... This lets us update "runs-on" without creating a mismatch with the required checks that are configured for the repo in the github ui.		2025-01-07 00:04:32 +01:00
..
ISSUE_TEMPLATE	docs issue template: move checklist down	2023-06-15 02:31:49 +02:00
workflows	.github/ci: Use fixed names	2025-01-07 00:04:32 +01:00
CODEOWNERS	maintainers: Drop thufschmitt	2024-06-28 15:56:53 +02:00
dependabot.yml	dependabot: automatically keep github actions up-to-date	2020-06-27 20:37:05 +01:00
labeler.yml	labeler: capture all docs files	2024-05-15 01:40:25 +02:00
PULL_REQUEST_TEMPLATE.md	docs: add link to project board to PRs (#9630)	2023-12-18 15:45:57 +00:00
STALE-BOT.md	throw freenode down the memory hole	2021-05-27 21:48:39 +02:00
stale.yml	update stale bot per RFC 0124	2022-07-10 16:50:49 -07:00