Alyssa Ross 192d953bc2 .github: removing "Priorities" heading ... Where this was a markdown heading, it sometimes had the wrong weight so it appeared as if it was a subheading of the previous section, and some people feel the word "Priorities" creates misleading expectations. Link: https://github.com/NixOS/nixpkgs/pull/203969/files#r1037761779		2023-12-03 12:23:22 +01:00
..
ISSUE_TEMPLATE	.github: removing "Priorities" heading	2023-12-03 12:23:22 +01:00
workflows	build(deps): bump korthout/backport-action from 2.1.0 to 2.1.1	2023-11-13 13:49:56 +01:00
CODEOWNERS	CODEOWNERS: Remove line for removed file	2023-11-20 02:53:02 +01:00
dependabot.yml
ISSUE_TEMPLATE.md
labeler.yml	.github/labeler.yml: auto-label flakes stuff	2023-11-16 03:49:16 +01:00
PULL_REQUEST_TEMPLATE.md	.github: removing "Priorities" heading	2023-12-03 12:23:22 +01:00
STALE-BOT.md
stale.yml