Commit graph

4 commits

Author SHA1 Message Date
tibequadorian 9e0b0f4e74 .github: improve the PR template
* avoid confusion with [skip CI] and [ci skip]
2022-03-26 16:45:23 +01:00
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
Piraty c474e2d3a9 .github: add notice to delete the [ci skip] block
if the commented block is left in the PR text, CI won't run
2021-01-18 15:01:04 +01:00
Piraty fbd0952876 .github: add pull request template 2021-01-18 13:17:37 +01:00