CI: only run GitHub pages on the official repository