Fabián Heredia Montiel ae612969f4 CODEOWNERS: add mattpolzin for idris2Packages (#337967)		2024-09-01 19:51:30 -06:00
..
ISSUE_TEMPLATE	.github: removing "Priorities" heading	2023-12-03 12:23:22 +01:00
workflows	workflows/check-by-name: Mention who to ping for trouble (#337120)	2024-08-29 05:57:28 -07:00
CODEOWNERS	CODEOWNERS: add mattpolzin for idris2Packages	2024-08-28 11:19:10 -05:00
dependabot.yml
ISSUE_TEMPLATE.md
labeler.yml	.github: Update Cinnamon file paths	2024-07-23 22:12:43 +08:00
PULL_REQUEST_TEMPLATE.md	github/PULL_REQUEST_TEMPLATE: fix link to linking tests	2024-08-19 15:39:33 +02:00
STALE-BOT.md
stale.yml