Marcus Schäfer 075a58dd6c Apply different cherry-pick strategy ... cherry picking merge commits is not easily possible. Thus get the list of commits and check if it can be applied in a series		2024-01-12 20:03:51 +01:00
..
workflows	Apply different cherry-pick strategy	2024-01-12 20:03:51 +01:00
CONTRIBUTING.md	First draft of issue#43	2016-03-10 13:33:50 +01:00
ISSUE_TEMPLATE.md	github: Refresh issue template to cover more operating scenarios	2022-06-22 17:38:20 -04:00
PULL_REQUEST_TEMPLATE.md	First draft of issue#43	2016-03-10 13:33:50 +01:00