Silvan Mosberger f616ad76f0 Merge pull request #250885 from tweag/spp-1a ... [RFC 140] Simple package paths, part 1a: Checking tool		2023-08-29 16:36:26 +02:00
..
ISSUE_TEMPLATE
workflows	Remove direct push detection GitHub action	2023-08-14 15:57:29 +02:00
CODEOWNERS	Merge pull request #250885 from tweag/spp-1a	2023-08-29 16:36:26 +02:00
dependabot.yml
ISSUE_TEMPLATE.md
labeler.yml	.github/workflows/labels.yml: label texlive tests as topic TeX	2023-08-20 14:22:26 +01:00
PULL_REQUEST_TEMPLATE.md	pr-template: Use semantic H2 level headings	2023-06-19 14:18:52 +12:00
STALE-BOT.md
stale.yml