Open siyunfeng opened 2 hours ago
Hi @siyunfeng.
Please don't forget to add the proper labels to this issue. Currently, the labels for the following are missing:
NOTE: Please ignore this comment if you do not have 'write' access to this directory.
To add a label, take a look at Github's documentation here.
Also, don't forget to remove the "missing labels" afterwards. To remove a label, the process is similar to adding a label, but you select a currently added label to remove it.
After the proper labels are added, the merge team will review the issue and add a "Ready for Prioritization" label once it is ready for prioritization.
Additional Resources:
Overview
We have observed non-members creating PRs. To solve this, we will add a notice to the top of the PR template notifying developers that they must complete onboarding before creating a PR.
Action Items
.github/pull_request_template.md
in your IDE[ ] Add the following text:
above
git push --set-upstream origin test-update-labels-1234
Pull Requests
tab on your branch for this PR, and click theNew Pull Request
buttonCreate pull request
buttonCreate pull request
pageResources/Instructions