8000 Please update https://docs.python.org/dev/ more frequently than once a day · Issue #98 · python/docsbuild-scripts · GitHub
[go: up one dir, main page]
Skip to content

Please update https://docs.python.org/dev/ more frequently than once a day #98

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
Closed
vstinner opened this issue Nov 3, 2020 · 4 comments · Fixed by #101
Closed

Please update https://docs.python.org/dev/ more frequently than once a day #98

vstinner opened this issue Nov 3, 2020 · 4 comments · Fixed by #101

Comments

@vstinner
Copy link
Member
vstinner commented Nov 3, 2020

Yesterday, I rewrote a large part of the documentation. I merged my PR. One hour later, I expected to see it online to validate the rendered HTML, but it was outdated. The day after? It's still outdated. @JulienPalard told me that it's updated once a day.

Would it be possible to rebuild https://docs.python.org/dev/ more frequently? For example, every hour? Or even at each commit? Every hour would be fine with me.

For curious people, my doc change: python/cpython@4b9aad4
@shihai1991
Copy link
Member

+1 for even at each commit

@JulienPalard JulienPalard mentioned this issue Dec 3, 2020
Merged
@vstinner
Copy link
Member Author
vstinner commented Apr 9, 2021

I would be fine with anything more frequent than once a day. For example, One per hour would be great :-)

I don't require to have a new build per commit.

@vstinner
Copy link
Member Author

Thank you @JulienPalard and @ewdurbin!

@JulienPalard
Copy link
Member

@vstinner it's merged but not plugged to github yet, I'll take a few config steps.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Implement a simple github webook server to build the doc. JulienPalard/docsbuild-scripts
3 participants
@vstinner @JulienPalard @shihai1991
0