Do we need to store the built repository in a branch?

In the original idea, the built repository would be stored in a branch so that GitHub Pages could serve it as a website.

GitHub now allows to publish a website directly from GitHub Actions by uploading a tarball, which is neater in some sense.

In nix workflows it is useful to refer to previous versions of the index. This could be implemented by publishing tarballs of the built repository but it is entirely trivial if the repository is saved in a git branch.

We will store the built repository in a git branch for the time being and keep this issue for discussion.