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
Moved /users/project to /doc/project #27560
base: main
Are you sure you want to change the base?
Conversation
Thanks for taking this on! And I'm pretty sure the paths of all the license files need to be updated now that they've been moved up a level. |
d9bb8ba
to
509c296
Compare
Awesome, am waiting on doc build to check all the links. |
Awesome that you caught the pre-commit. Doing a small git grep
And the docs readme that's already slightly out of date |
Also let me know if you'd like to do the updates to the brochure site or if you'd like me to. Again, b/c of the redirects the urls should still work, so it shouldn't be urgent: |
PR summary
This PR addresses the issue #27396 on moving non user guide related content out of /users. This is the first step, moving
/users/project
->/doc/project
and adding redirects.PR checklist
/users
#27396"