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

Update github io when pushed to main repo doc #200

Open
mducle opened this issue Aug 5, 2024 · 0 comments
Open

Update github io when pushed to main repo doc #200

mducle opened this issue Aug 5, 2024 · 0 comments
Labels
nicetohave Nice to have features which are low priority.

Comments

@mducle
Copy link
Member

mducle commented Aug 5, 2024

The SpinW website is actually just an alias for a github.io static page with all the data in the spinw.github.io repo. Included in the webpage are a set of tutorials, the source and html are actually in the main spinw repo.

It would be good if the _tutorials folder in the github.io site and the tutorials/publish folder in the main repo could be synchronized by a github-actions job or similar.

@mducle mducle added the nicetohave Nice to have features which are low priority. label Aug 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
nicetohave Nice to have features which are low priority.
Projects
None yet
Development

No branches or pull requests

1 participant