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.

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

Docs: Deploy #497

Merged
merged 8 commits into from
Sep 17, 2024
Merged

Docs: Deploy #497

merged 8 commits into from
Sep 17, 2024

Conversation

dericksozo
Copy link
Contributor

(docs): Adding a new 'Deploy' section to the sidebar. Moving the current deployment guides under that page. Also adding an ew Deployment overview page. Adding a link to this page from the generated service page.

This PR takes care of issue #493.

…ent deployment guides under that page. Also adding an ew Deployment overview page. Adding a link to this page from the generated service page.
@dericksozo dericksozo added the documentation Improvements or additions to documentation label Jul 11, 2024
@dericksozo dericksozo self-assigned this Jul 11, 2024
@dericksozo dericksozo changed the title (docs): Adding a new 'Deploy' section to the sidebar. Moving the curr… Docs: Deploy Jul 11, 2024
@PazYanoverr
Copy link
Member

@dericksozo - Is it ready for review?

@dericksozo
Copy link
Contributor Author

It's ready now, @PazYanoverr.

sidebars.js Outdated Show resolved Hide resolved
docs/how-to/deploy.md Outdated Show resolved Hide resolved
@PazYanoverr
Copy link
Member

@mulygottlieb - Can you please review this PR as well?

docs/how-to/deploy.md Outdated Show resolved Hide resolved
docs/how-to/deploy.md Outdated Show resolved Hide resolved
docs/how-to/deploy.md Outdated Show resolved Hide resolved
docs/how-to/deploy.md Outdated Show resolved Hide resolved
docs/how-to/deploy.md Outdated Show resolved Hide resolved
docs/how-to/deploy.md Outdated Show resolved Hide resolved
docs/how-to/deploy.md Outdated Show resolved Hide resolved
@PazYanoverr
Copy link
Member

@dericksozo - Added 1 last comment. Let's update and merge

@PazYanoverr PazYanoverr merged commit 7eb8e88 into main Sep 17, 2024
5 checks passed
@PazYanoverr PazYanoverr deleted the docs/deploy-page branch September 17, 2024 10:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants