Add branch protection for gh-pages #3
Description
No one should be allowed to edit the gh-pages branch directly (it should only be updated by this GitHub action). It seems difficult to enable this as of now, but perhaps we can add some sort of status check that fails automatically if someone tries to make changes to the branch.