Vadim Zeitlin 3f6e2ca578 Update the version of action-gh-release used ... No real changes, but this updates to a commit using action/checkout@v3 which avoids warnings when running this workflow.		2023-02-09 01:27:28 +01:00
..
ISSUE_TEMPLATE	Make the issue template even more prescriptive	2022-06-10 18:14:35 +02:00
workflows	Update the version of action-gh-release used	2023-02-09 01:27:28 +01:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00