Vadim Zeitlin 9ed1a4ea59 Use v3 of checkout action in GitHub CI builds ... The previously used v2 uses node12 which is being deprecated by GitHub and won't be any longer available soon, so switch to the currently supported version.		2022-10-10 23:55:12 +02:00
..
ISSUE_TEMPLATE	Refactor issue templates using HTML comments	2022-09-27 23:27:42 +02:00
workflows	Use v3 of checkout action in GitHub CI builds	2022-10-10 23:55:12 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00