Merging a pull request to `gh-pages` doesn't deploy the updated docs

[LightAndLight]

If someone submits a fix using an "edit on GitHub" link on https://ipso.dev, their fix isn't automatically deployed upon merging.

This repository is set to deploy to https://ipso.dev from docs/ on the gh-pages branch. To update the site, I have to rebuild the site using a script and commit the changes.

I think the docs/ directory should be automatically updated on merge.