tlaplus / foundation

TLA+ Foundation
23 stars 4 forks source link

Migrate foundation website to Hugo #5

Closed juliaferraioli closed 5 months ago

juliaferraioli commented 5 months ago

Summary of changes:

I realize that this is a big change in one pull request but I don't think there's a graceful way to break it up. You can preview the site live (deployed through the workflow) at my fork.

juliaferraioli commented 5 months ago

The new site looks much nicer than the old (placeholder).

Thank you! A couple of questions for you @lemmy: do you prefer to have the reviewer merge or would you like me to? And do you have a preference towards rebase & merge or squash & merge? (I tend towards squash & merge just out of habit.)

lemmy commented 5 months ago

@juliaferraioli Please do as you see fit. :-)