Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[FEAT] Github Pages Generation & Publishing #91

Open
BobGneu opened this issue Jan 6, 2025 · 3 comments
Open

[FEAT] Github Pages Generation & Publishing #91

BobGneu opened this issue Jan 6, 2025 · 3 comments
Assignees
Labels
enhancement New feature or request

Comments

@BobGneu
Copy link

BobGneu commented Jan 6, 2025

Describe the problem this feature solves

The purpose of this request is to automate the building and deployment of documentation for the project, using the github pages tooling.

Describe the solution you'd like to see

I would like to support the effort we discussed on Discord, moving the documentation generation and hosting to github pages, removing the need for the dev site, which is currently down.

Important Links

https://github.com/actions/deploy-pages

What alternatives exist? (optional)

We may also be able to automate the deployment to the dev site, or other hosting options as the project needs.

@BobGneu BobGneu added the enhancement New feature or request label Jan 6, 2025
@BobGneu BobGneu changed the title [FEAT] - Github Pages Generation & Publishing [FEAT] Github Pages Generation & Publishing Jan 6, 2025
@JaimeGensler
Copy link
Owner

JaimeGensler commented Jan 12, 2025

#94 related

An alternative would be to potentially use the wiki section for docs; I don't have a strong preference between the two, but porting to the wiki may prove easier 🤷 open to thoughts here!

@BobGneu
Copy link
Author

BobGneu commented Jan 22, 2025

I can also go either direction.

Wiki is probably easier to get going quickly. We can always start out with the wiki and move elsewhere later.

@JaimeGensler
Copy link
Owner

That makes sense to me, starting with a Wiki seems great!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants