4 Commits

Include renames

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