Update and download

Pull the latest branch from GitLab onto this server, then download the complete deployable website as a ZIP.

Use the project access token that can read this repository, or the admin key in secrets/pull_admin_token. A successful update also enables the ZIP for the new commit. This page is excluded from the archive.