Provide Github Labels for Filtering
We'd really like to access github labels in a ignore/only filter statement (similar to git tags). This would allow us to:
- Mark PRs that shouldn't be built at all (effectively preventing the PR from being merged)
- Mark PRs to build and unit test, but skip the integration tests
- Mark PRs for deployment to a specific staging environment
IMO, that would improve circleci's capabilities in multi stage deployment scenarios.
And, this has already been proposed here: https://discuss.circleci.com/t/tag-label-filter/11158