Skip to content

Including the built HTML in repo #1162

@achow101

Description

@achow101

One of the issues we have had with the website build server is that it occasionally fails to build the site, and resolving those issues is actually quite annoying. One suggestion that @TheBlueMatt has is that we should be committing the built HTML into the repo, and deployment for the website can be reduced to running verify-commits.py and then copying the HTML.

This does give us several advantages:

  • since we won't be limited by what dependencies can be installed on the build machine, we can use whatever build dependencies we want
  • reduces the attack surface on the website infrastructure
  • makes maintaining the website infrastructure easier

The main drawback with this process would be requiring all contributors to commit the built HTML in their PRs. Given that we do get contributors who are not necessarily developers so may not have the build environment setup, this could be an additional burden that reduces contributions of things like translations. This could be mitigated by having a CI task or bot which does the build and opens a PR containing the HTML after something is merged. It may be possible to also configure the maintainer merge script to perform and commit the build during the merge, but I'm not sure if that is desirable.

Any opinions?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions