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
..