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

Fix the left nav of user_guide #71

Closed
wants to merge 1 commit into from
Closed

Fix the left nav of user_guide #71

wants to merge 1 commit into from

Conversation

shatakshiiii
Copy link
Contributor

No description provided.

@shatakshiiii shatakshiiii added the documentation Improvements or additions to documentation label Dec 11, 2023
@shatakshiiii shatakshiiii self-assigned this Dec 11, 2023
@Qalthos
Copy link
Contributor

Qalthos commented Dec 11, 2023

I don't think we need user_guide.md at all, https://github.com/ansible/ansible-dev-tools/pull/65/files#diff-98d0f806abc9af24e6a7c545d3d77e8f9ad57643e27211d7a7b896113e420ed2R48 is how I integrated them into the main navigation.

@ssbarnea ssbarnea marked this pull request as ready for review December 11, 2023 17:01
@ssbarnea
Copy link
Member

Addressed by #75

@ssbarnea ssbarnea closed this Dec 12, 2023
@shatakshiiii shatakshiiii deleted the doc_changes branch December 14, 2023 07:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@cidrblock cidrblock Awaiting requested review from cidrblock

@ssbarnea ssbarnea Awaiting requested review from ssbarnea

Assignees

@shatakshiiii shatakshiiii

Labels
documentation Improvements or additions to documentation skip-changelog
Projects
🧰 devtools project board
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@shatakshiiii @Qalthos @ssbarnea