Introduce a tiddlywiki.org edition

Using its own build script so that we can push it to https://github.com/TiddlyWiki/tiddlywiki.org-gh-pages
This commit is contained in:
jeremy@jermolene.com 2022-03-20 13:36:08 +00:00
parent b5edaae1f4
commit 7cc100b82d
21 changed files with 563 additions and 0 deletions

View file

@ -70,5 +70,6 @@ jobs:
echo "TW5_BUILD_DETAILS=Built from branch '$TW5_BUILD_BRANCH' at commit $(git rev-parse HEAD) of $(git remote get-url origin) at $(date +'%F %T %Z')" >> $GITHUB_ENV
- run: "./bin/build-site.sh"
- run: "./bin/ci-push.sh"
- run: "./bin/build-tw-org.sh"
env:
GH_TOKEN: ${{ secrets.GITHUBPUSHTOKEN }}