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