Merge pull request #3857 from WoltLab/commit-message-check
authorTim Düsterhus <duesterhus@woltlab.com>
Fri, 8 Jan 2021 09:08:26 +0000 (10:08 +0100)
committerGitHub <noreply@github.com>
Fri, 8 Jan 2021 09:08:26 +0000 (10:08 +0100)
Add pull_request workflow


Trivial merge