-
Notifications
You must be signed in to change notification settings - Fork 518
Corrected New Contributor Guide PR merging details #10101
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
Corrected New Contributor Guide PR merging details #10101
Conversation
🔗 Helpful Links🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/10101
Note: Links to docs will display an error until the docs builds have been completed. ⏳ No Failures, 9 PendingAs of commit 4328bb9 with merge base d9c31fa ( This comment was automatically generated by Dr. CI and updates every 15 minutes. |
@pytorchbot label "topic: not user facing" |
@pytorchbot cherry-pick --onto release/0.6 -c docs |
### Summary The New Contributor Guide added in [this PR](#9977) had an inaccuracy, mentioned in [this comment](#9977 (comment)) from @byjlw. The guide mistakenly said that only core contributors can merge PRs. This PR corrects that error. It encourages the reader to merge their PR themselves once approved, and provides illustrative screenshots. Co-authored-by: jhels <[email protected]> (cherry picked from commit eeabc29)
Cherry picking #10101The cherry pick PR is at #10118 The following tracker issues are updated: Details for Dev Infra teamRaised by workflow job |
Summary
The New Contributor Guide added in this PR had an inaccuracy, mentioned in this comment from @byjlw. The guide mistakenly said that only core contributors can merge PRs.
This PR corrects that error. It encourages the reader to merge their PR themselves once approved, and provides illustrative screenshots.