3 Commits

Author	SHA1	Message	Date
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
Igor Minar	8f5836cb14	docs(TRIAGE_AND_LABELS): update labels to reflect the current state	2017-06-19 14:53:55 -07:00
Igor Minar	da700d1842	docs: move markdown docs from root dir to docs/ and remove obsolete files (#15410)	2017-03-22 22:50:12 -07:00