Jörg Thalheim c32c613df6 Merge pull request #85727 from davidak/patch-2		2020-04-27 10:36:12 +01:00
..
ISSUE_TEMPLATE	bug_report.md: ask to notify maintainers	2020-04-13 18:03:05 -04:00
CODEOWNERS	.github/CODEOWNERS: Remove myself as codeowner from some paths	2020-04-23 16:21:28 +02:00
CONTRIBUTING.md	CONTRIBUTING.md: Improve backport instructions	2020-04-26 19:35:13 +02:00
ISSUE_TEMPLATE.md	ISSUE_TEMPLATE: 'nix run' -> 'nix-shell -p'	2020-01-05 22:47:43 +01:00
PULL_REQUEST_TEMPLATE.md	.github: remove cc from pull-request template	2020-01-03 15:58:31 +13:00
stale.yml	Add configuration for GitHub stale bot	2019-11-14 22:11:32 -08:00