-
Notifications
You must be signed in to change notification settings - Fork 527
Delete old Getting Started Setup.md #8883
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
🔗 Helpful Links🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/8883
Note: Links to docs will display an error until the docs builds have been completed. ✅ No FailuresAs of commit 77e92f3 with merge base 9841e54 ( This comment was automatically generated by Dr. CI and updates every 15 minutes. |
Oh looks like I can't delete this right away, still lots of references |
This reverts commit 9d59bd0.
Add a redirection instead |
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.
Looks good. Thanks for cleaning this up - I take a look and see if I can remove any more old pages.
Let's not have two copies
Current copy is disintegrated into: