cb3aca7fbb
.github: remove extraneous whitespace
2022-05-08 00:04:08 +02:00
9e0b0f4e74
.github: improve the PR template
...
* avoid confusion with [skip CI] and [ci skip]
2022-03-26 16:45:23 +01:00
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
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
fbd0952876
.github: add pull request template
2021-01-18 13:17:37 +01:00
mhmdanas
tibequadorian
Michal Vasilek
Piraty