Oliver Gugger a257e6203d github: fix merge group directive		2023-02-17 11:14:38 +01:00
..
actions/setup-go	GitHub: add job ID to cache key	2023-01-06 09:18:28 +01:00
ISSUE_TEMPLATE	GitHub: add link to discussions [skip ci]	2022-10-03 18:41:36 +02:00
workflows	github: fix merge group directive	2023-02-17 11:14:38 +01:00
pull_request_template.md	github: simplify PR template and add more sections [skip ci]	2022-01-28 09:50:02 +02:00