CI: add formal checks
authorPaul Spooren <mail@aparcar.org>
Thu, 27 Jan 2022 09:25:19 +0000 (10:25 +0100)
committerJosef Schlehofer <pepe.schlehofer@gmail.com>
Sun, 4 Dec 2022 15:11:57 +0000 (16:11 +0100)
commit09f4533d6d07eb7afd922ced0f4461e61d07a999
treed5300d081d179d23452a3658c2f54529e61c95aa
parentfd90eed40ce6828a1bbd11d1a394e7c6368d0577
CI: add formal checks

The formal checks verify the following things:
- Commits does not contain any merge commits
- Signed by a real name
- Commit titles starts with an `<area>:`
- Author name matches signed of name
- Commit message is not empty

Signed-off-by: Paul Spooren <mail@aparcar.org>
(cherry picked from commit 3dc38823a2994639500ca201ac16928b7bf0bd8a)
.github/workflows/ci_helpers.sh [new file with mode: 0644]
.github/workflows/formal.yml [new file with mode: 0644]