Paul Spooren 13c1f2bcda 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>

2021-03-04 23:42:32 -10:00

..

workflows

CI: checkout HEAD commit rather than merge commit

2021-03-04 23:42:32 -10: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