Fabián Heredia MontielandGitHub 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

Revert ".github/dependabot.yml: disable"

2022-11-08 06:28:22 +10:00

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

…