Paul Spooren f50a80b79c CI: checkout HEAD commit rather than merge commit ... GitHub CI actions/checkout uses a merge commit which isn't compatible with our formality checks. Instead checkout the pull request HEAD. Signed-off-by: Paul Spooren <mail@aparcar.org> (cherry picked from commit 13c1f2bcda)		2022-08-21 23:33:12 +02:00
..
workflows	CI: checkout HEAD commit rather than merge commit	2022-08-21 23:33:12 +02:00
issue_template	repo: Add more information to the issue template	2019-04-07 20:18:55 +00:00
pull_request_template	github: adapt templates	2018-01-27 11:24:43 +08:00