Skip to content

Conversation

achow101
Copy link
Member

Implements #1162

It turns out the build was not entirely deterministic as the build time and timezone of the building machine would be included in several places. The first several commits makes it so that those timestamps use the commit timestamp.

After including all of the generated HTML, the CI is changed to check that it replicates the HTML that is in the repo.

Lastly, the build has had a deprecation warning which is resolved in the last commit. No HTML changes to fix that warning.

We want to set the last updated time for all pages to the timestamp of
the last commit that modified the page. This is achieved with the use of
a custom plugin that queries that information and adds it as a variable.
The lastmod attribute stores the time that a page was last modified. All
pages have a git-last-modified-date variable that accurately reflects
the time of the last modification.
Use git-last-modified-date for the updated time in the atom feeds.
With html being committed, there's no need to ensure that debian can
build the site.
@katesalazar
Copy link
Contributor

utACK f8cbde6

what could go wrong

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants