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