-
-
Notifications
You must be signed in to change notification settings - Fork 11
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
To host versioned jenkins.io docs on docs.jenkins.io #3885
Comments
@krisstern I'll take care of it. Optional suggestion: WDYT of |
Sounds good @lemeurherve! Sure, |
Update: repository renamed, I need to write a runbook for contributors.jenkins.io and docs.jenkins.io. |
No progress since last update as other issues were prioritized. |
This PR adds the storage account and file share that will be used by the nginx-website release on publick8s cluster to serve on docs.origin.jenkins.io the content generated from https://github.com/jenkins-infra/docs.jenkins.io/. Ref: - jenkins-infra/helpdesk#3885 (comment)
The CI part is now ready. Next: add docs.jenkins.io to the publick8s cluster then add the deployment stage to the pipeline. |
Which teams should be affected to https://github.com/jenkins-infra/docs.jenkins.io instead of the individual collaborators currently set as admin? Taking https://github.com/jenkins-infra/jenkins.io for inspiration, I propose to set the following teams & permissions:
WDYT @krisstern @MarkEWaite @kmartens27? |
…ile Share (#686) This PR creates a service principal to interact with `docs-jenkins-io` File Share expiring in 3 months. Ref: - jenkins-infra/helpdesk#3885 (comment)
https://docs.jenkins.io/ is live 🚀 Next: add the deployment stage to the pipeline. |
Sounds like a good plan for me @lemeurherve! No objections from me. |
That sounds great to me @lemeurherve, thank you for all the work on this! |
That makes sense to me. Thanks! |
About the 5th point, I'm wondering if instead of A) creating a new team including Kriss, Kevin, Mark (current individuals with permission on this repo) we could B) use the existing team https://github.com/orgs/jenkins-infra/teams/docs as maintainers. It would requires @krisstern to be added to this team in order to continue maintaining docs.jenkins.io repo. WDYT? (cc @daniel-beck & @dduportal as member of the docs team) |
That would be fine for me as well. |
Fine for me. It would grant the following permissions to Kris: ![]() |
I added @krisstern to the docs team and set all https://github.com/jenkins-infra/docs.jenkins.io permissions as follow: ![]() |
As noted in the plan, it would be wise to add a common prefix to the versioned doc branch names so we could target them with a pattern for branch protections. Something like "version-2.426.x" for example. |
|
https://docs.jenkins.io is live! As far as I can tell, we can close the issue. Many thanks y'all! |
Thank you everyone! |
Service(s)
Helpdesk, jenkins.io
Summary
As one of the outcomes of the GSoC 2023 "Building jenkins.io with alternative tools" project we have come up with a draft of the versioned docs to be tested by the Jenkins community, especially the copy editors. As discussed previously, our desire is to have the Antora site hosted at docs.jennkins.io. The repo has been imported to https://github.com/jenkins-infra/jenkins-io-docs, and is ready to deploy. The Antora playbook needed for production is at https://github.com/jenkins-infra/jenkins-io-docs/blob/main/playbook/antora-playbook.yml. We have tested the setup locally which has been made possible with the local version of the Antora playbook and also the Makefile at the root.
Reproduction steps
No response
The text was updated successfully, but these errors were encountered: