diff options
| author | Paul Spooren <mail@aparcar.org> | 2021-03-04 23:16:00 -1000 |
|---|---|---|
| committer | Paul Spooren <mail@aparcar.org> | 2021-03-04 23:42:32 -1000 |
| commit | 13c1f2bcda33ab8fc17ede1f43f60e0aac8b7cab (patch) | |
| tree | e57a5240557f6053c2a0a97a0fdc0cea7c2206c2 /lang/python/python-docker/Makefile | |
| parent | fa631e92840dfc3fd13951dd56f54761e19ca3e7 (diff) | |
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>
Diffstat (limited to 'lang/python/python-docker/Makefile')
0 files changed, 0 insertions, 0 deletions