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: add warning to repair page #13640

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

polgarc
Copy link

@polgarc polgarc commented Oct 21, 2024

Add a warning to the repair page docs, as the link was removed from the sidebar in #12294.

This'll hopefully stop people from opening issues when they don't find the page, see #13638.

Copy link
Contributor

github-actions bot commented Oct 21, 2024

Label error. Requires exactly 1 of: changelog:.*. Found: documentation

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Oct 21, 2024
@mmomjian
Copy link
Contributor

The repair page still exists and will return at some point. We can add a note at the top saying “this feature is currently disabled and will be reworked in the near future” but I don’t see a point to deleting all this work.

@polgarc polgarc changed the title chore: remove repair docs docs: add warning to repair page Oct 21, 2024
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.

2 participants