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

Docs deployment mechanism after repo merge #1220

Closed
1 task done
borekb opened this issue May 15, 2017 · 1 comment
Closed
1 task done

Docs deployment mechanism after repo merge #1220

borekb opened this issue May 15, 2017 · 1 comment
Assignees
@JanVoracek
Labels
scope: docs Markdown documentation, public docs, READMEs task DEPRECATED. This was used for non-code issues but just leave it out.
Projects
4.0-beta → 4.0-beta2
Milestone
4.0

Comments

@borekb
Copy link
Member

borekb commented May 15, 2017 •
edited

We host https://docs.versionpress.net/ on our versionpress.com infrastructure, it needs to be updated after the docs repo merge #1218.

(This is about updating the deployment mechanism, not a one-time deployment of the current docs.)
@borekb borekb added scope: docs Markdown documentation, public docs, READMEs task DEPRECATED. This was used for non-code issues but just leave it out. labels May 15, 2017
@borekb borekb added this to the 4.0 milestone May 15, 2017
@borekb borekb mentioned this issue May 15, 2017
Merged
14 tasks
@borekb borekb added this to New in 4.0-beta May 18, 2017
@borekb borekb changed the title Docs deployment after repo merge Docs deployment mechanism after repo merge Jul 4, 2017
@borekb borekb removed this from New in 4.0-beta Jul 9, 2017
@borekb
Copy link
Member Author

borekb commented Jan 15, 2019

With transition to MkDocs in #1334, we also updated our deployment mechanism, see docs README. So this has been resolved as part of that.

@borekb borekb closed this as completed Jan 15, 2019
@borekb borekb added this to Done in 4.0-beta → 4.0-beta2 via automation Jan 15, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JanVoracek JanVoracek

Labels
scope: docs Markdown documentation, public docs, READMEs task DEPRECATED. This was used for non-code issues but just leave it out.
Projects
No open projects
4.0-beta → 4.0-beta2
  
Done
Milestone
4.0
Development

No branches or pull requests
2 participants
@borekb @JanVoracek