Make two deploy methods cohesive

[oscarlevin]

If you use pretext deploy, you deploy to the gh-pages branch. But if you use the github actions workflow, you need to have your pages setting set to actions. It would be nice to have both options available for a single project.