-
-
Notifications
You must be signed in to change notification settings - Fork 1
Open
Description
Instead of deploying to a gh-pages branch on another org's repo, I think it might be cleaner to use GitHub Actions to deploy to GitHub Pages in this org in a ohmjs/ohmjs.github.io repo, then have the ohmlang/ohmlang.github.io repo have a single /404.html page with this:
<!-- /404.html -->
<script>
const url = new URL(location);
url.host = "ohmjs.org";
location.replace(url);
</script>
This would (I think) delegate everything from https://ohmlang.github.io/custom?page#with:~:some=params
to https://ohmjs.org/custom?page#with:~:some=params
which could then be mapped to whatever ohmjs/ohmjs.github.io repo you want. Then again, I don't actually know if this works.
I'm just suggesting this as a possible improvement over your current workflow. If it works, and you don't really want to change it 👍 that's great! This is just an idea.
Metadata
Metadata
Assignees
Labels
No labels