Unverified Commit 18b597be authored by Vlad Serebrennikov's avatar Vlad Serebrennikov Committed by GitHub
Browse files

Remove 'vectorizers' label from PR labeler (#67810)

It's subsumed by an order of magnitude more popular `vectorization` label that is applied for the same path patterns.

Statistics (issues and PRs together):
`vectorization`: 91 open, 91 closed
`vectorizers`: 8 open, 5 closed 

All `vectorizers` usages has occurred in just the past 2 weeks, and likely by our bot.
parent 6f5b372d
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment