Introduce a more graceful way to check labels#843

Merged

lucklove merged 5 commits intopingcap:masterfrom lucklove:labels

Oct 19, 2020

+96-22

Commits on Oct 15, 2020

Introduce a more graceful way to check labels
lucklove
committed