Vadim Zeitlin 8f1e277833 Ignore changes to GitHub issue templates in the CI builds ... Unfortunately they will still run once when this commit is done, but at least they won't run in the future when templates are modified.		2022-01-14 01:42:13 +01:00
..
workflows	Ignore changes to GitHub issue templates in the CI builds	2022-01-14 01:42:13 +01:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00