3406ec15a4
To clarify the use of GitHub labels for targetting PRs, a not about only being allowed to apply one label is added. PR Close #38764 |
||
---|---|---|
.. | ||
BAZEL.md | ||
CARETAKER.md | ||
CODING_STANDARDS.md | ||
COMMITTER.md | ||
DEBUG.md | ||
DEBUG_COMPONENTS_REPO_IVY.md | ||
DEVELOPER.md | ||
GITHUB_PROCESS.md | ||
NAMING.md | ||
PR_REVIEW.md | ||
PUBLIC_API.md | ||
RELEASE_SCHEDULE.md | ||
SAVED_REPLIES.md | ||
TOOLS.md | ||
TRIAGE_AND_LABELS.md |