feat: github pages #80
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "github-pages-10-14"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This PR enables multi-stage release for the GitHub Pages:
/dist
with the.env
on the update tomaster
branchDEGMods
repo env variables with the latest (this is manual step, and variables should match the existing gitea ones)CNAME
env variable (CUSTOM_DOMAIN
) for the releaseDEG-Mods.github.io
repoDEG-Mods.github.io
repo (settings
->pages
->custom domain
to matchCNAME
env var)github-bot
will deploy the page directly from themain
branchAdditional:
/src
GAME_FILES
const (QoL)Manually merged
Pull request closed