Vadim Zeitlin 77c3691cb2 Add an issue template for build problems		2022-01-14 01:46:21 +01:00
..
ISSUE_TEMPLATE	Add an issue template for build problems	2022-01-14 01:46:21 +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