Tom M e8963251be Avoid unnecessary pipeline runs (#885) ... Pipelines should not be triggered when other pipelines are modified. This saves many resources when messing around with a single pipeline, because other pipelines won't run.		2021-05-10 23:19:24 +02:00
..
ISSUE_TEMPLATE	Update feature request issue template (#837)	2021-04-10 16:34:12 +02:00
workflows	Avoid unnecessary pipeline runs (#885)	2021-05-10 23:19:24 +02:00
issue_template.md	Update URLs to HTTPS (#796)	2021-03-08 16:46:36 +01:00