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>
Run the formal checks like SoB message via the GitHub CI. Signed-off-by: Paul Spooren <mail@aparcar.org>