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