Merge pull request #5512 from cartender/master
authorJo-Philipp Wich <jo@mein.io>
Sat, 4 Dec 2021 09:08:47 +0000 (10:08 +0100)
committerGitHub <noreply@github.com>
Sat, 4 Dec 2021 09:08:47 +0000 (10:08 +0100)
ci: Only run github pages on the official repository


Trivial merge