Michal Vasilek 980cf96a29 .github: improve the PR template ... * switch from using checkboxes to **YES**|**NO** options * make it clear that filling out the part about manual builds is only necessary when the CI is skipped, this was easy to miss		2021-11-09 23:31:51 +00:00
..
workflows
issue_template.md
pull_request_template.md	.github: improve the PR template	2021-11-09 23:31:51 +00:00