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
..
workflows	.github/workflows: shorten step list.	2021-01-03 18:55:15 -03:00
issue_template.md	…
pull_request_template.md	.github: add notice to delete the [ci skip] block	2021-01-18 15:01:04 +01:00