Webber d7a5e1aa10 Ignore runs for changes in github workflow... ... ... as it can become rather confusing if you try to change a workflow, but it doesn't trigger on the PR itself, but on main only.		2021-01-23 11:08:56 +01:00
..
workflows	Ignore runs for changes in github workflow...	2021-01-23 11:08:56 +01:00
pull_request_template.md	👷 add pull request template	2020-07-12 19:04:30 +02:00