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

Restructured the docs website to accommodate both user and dev docs #1624

Merged
merged 14 commits into from
Jun 18, 2024

Conversation

Pickysaurus
Copy link
Contributor

Added some very basic user-facing docs.

@Pickysaurus Pickysaurus requested a review from Sewer56 June 13, 2024 14:30
@erri120 erri120 self-requested a review June 13, 2024 14:31
docs/users/Uninstall.md Outdated Show resolved Hide resolved
Copy link
Member

@erri120 erri120 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

See comments.

@Pickysaurus Pickysaurus requested a review from erri120 June 17, 2024 11:22
Copy link
Member

@erri120 erri120 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

See open comments.

@Pickysaurus Pickysaurus requested review from halgari and removed request for Sewer56 June 17, 2024 15:17
@halgari halgari dismissed erri120’s stale review June 18, 2024 00:14

Feedback was handled well enough for now, we can improve the rest over time

@halgari halgari merged commit 60cb480 into main Jun 18, 2024
3 checks passed
@halgari halgari deleted the user-docs branch June 18, 2024 00:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants