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