Deploy the Teztnets.xyz website

The website is deployed using Github Pages with a custom domain.

The webpage is deployed after each successful Pulumi deployment on the Github CI:

• there are two json-formatted pulumi outputs, teztnets.json and networks.json.
• the script teztnets_xyz_page/release.py renders two jinja files (index and teztnet_page) based on these outputs, as well as raw json to be hosted
• the resulting markdown and json is copited to teztnets_xyz_page/website
• another action renders the jekyll page and pushes it to the gh-pages
• then, the intrinsic Github Pages action hosts the page on teztnets.xyz

It is important to note that pulumi up does not deploy the website. Github action does! Therefore, always commit and push your code when done.

How to configure

To configure Github Pages, go to Setting/Pages, then select "Deploy from a branch". Select gh-pages as a branch.

The canonical A records point to Github Pages's IP addresses. These records are deployed by Pulumi in this repo's index.ts file.

Select "deploy from a custom domain" and enter "teztnets.xyz". The DNS verification will go through, provided that the zone is serving the records properly.

Select "Enforce HTTPS".