Vadim Zeitlin d6fb886d1a Use "no response" GitHub Action rather than "no response" bot ... Running the action periodically is even simpler than setting up a bot, so do this instead.		2022-12-11 21:48:45 +01:00
..
ISSUE_TEMPLATE	Refactor issue templates using HTML comments	2022-09-27 23:27:42 +02:00
workflows	Use "no response" GitHub Action rather than "no response" bot	2022-12-11 21:48:45 +01:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00