Igor Minar 89c616199f docs: improve github labels by introducing "PR target" labels (#18436) ...

I also renamed all "pr_*" lables to "PR *" lables, removed obsolete
"chore" label, and added docs label.

2017-08-02 15:30:36 -07:00

..

BAZEL.md

…

COMMITTER.md

…

DEVELOPER.md

…

NAMING.md

…

PUBLIC_API.md

…

RELEASE_SCHEDULE.md

…

SAVED_REPLIES.md

…

TOOLS.md

…

TRIAGE_AND_LABELS.md

docs: improve github labels by introducing "PR target" labels (#18436)

2017-08-02 15:30:36 -07:00