-
Notifications
You must be signed in to change notification settings - Fork 7.2k
Replaced user documentation with links to developers docs site #8662
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
Conversation
This eliminates redundant user documentation and allows us to focus our documentation investments. I left tombstone files for most of the existing ".md" docs files to avoid broken links. These now contain brief links to the developers docs site.
|
@codex review |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
💡 Codex Review
Here are some automated review suggestions for this pull request.
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
I agree the duality was not a great situation, but this also means that:
Maybe we should try to use https://github.com/google/copybara or something to sync docs from this repo to the docs repo used to publish the site? |
This eliminates redundant user documentation and allows us to focus our documentation investments.
I left tombstone files for most of the existing ".md" docs files to avoid broken links. These now contain brief links to the developers docs site.