Skip to content

CI: Update web and docs to OVH with the right structure #32530

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

Merged
merged 1 commit into from
Mar 11, 2020
Merged

CI: Update web and docs to OVH with the right structure #32530

merged 1 commit into from
Mar 11, 2020

Conversation

datapythonista
Copy link
Member

I'm uploading all the docs from the NumFOCUS server to the OVH (manually). And I'm changing the CI in this PR to upload the website and the dev docs to the server automatically.

I'll have a look and see if we can upload a new version of the docs automatically to OVH when a new GitHub release is generated. So, we never need to upload the website manually.

After merging this PR, and when we're confident this is working well, we'll have to redirect pandas.pydata.org to the OVH server. The dev docs will be available at pandas.pydata.org/pandas-docs/dev/ (and we can stop using pandas.io and dev.pandas.io).

@datapythonista datapythonista added Docs CI Continuous Integration Web pandas website labels Mar 7, 2020
@datapythonista datapythonista merged commit f4f1b69 into pandas-dev:master Mar 11, 2020
@simonjayhawkins simonjayhawkins added this to the 1.1 milestone Mar 11, 2020
@jorisvandenbossche
Copy link
Member

After merging this PR, and when we're confident this is working well, we'll have to redirect pandas.pydata.org to the OVH server.

Did this already happen?

And are the dev docs already available on one of the urls? https://dev.pandas.io/docs/ is not updated anymore, https://pandas.io/docs/ also not anymore since last week (when this was merged?), but https://pandas.pydata.org/pandas-docs/dev still points to the old travis-built github-hosted docs url (alendar.google.com/)

@jorisvandenbossche
Copy link
Member

The dev docs will be available at pandas.pydata.org/pandas-docs/dev/

Also, could we choose pandas.pydata.org/docs/dev/ instead (a tiny bit shorter)? That url basically never existed (it was always directly redirected), so I think we don't necessarily need to keep it (it could still redirect to the new place)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Continuous Integration Docs Web pandas website
Projects
None yet
Development

Successfully merging this pull request may close these issues.

CI: Publishing development web and docs to GitHub actions fails
4 participants