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.

Sign up for GitHub

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

Jump to bottom

Doc-site should be able to be rendered and deployed without github releases #660

Closed
pablo-gar opened this issue Jul 31, 2023 · 1 comment
Closed

Doc-site should be able to be rendered and deployed without github releases #660

pablo-gar opened this issue Jul 31, 2023 · 1 comment
Assignees
@ebezzi
Labels
documentation Improvements or additions to documentation P0 Priority 0 - Critical, fix ASAP!

Comments

@pablo-gar
Copy link
Contributor

Given that there are plans to do updates to the doc-site (data release info, doc corrections, news) the docsite should be able to be updated without github releases
@pablo-gar pablo-gar added the documentation Improvements or additions to documentation label Jul 31, 2023
@pablo-gar pablo-gar added the P0 Priority 0 - Critical, fix ASAP! label Jul 31, 2023
@pablo-gar
Copy link
Contributor Author

Completed in #675

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ebezzi ebezzi

Labels
documentation Improvements or additions to documentation P0 Priority 0 - Critical, fix ASAP!
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ebezzi @pablo-gar