Eliza Weisman d7ddef8903
chore: remove PR labeler workflow (#362)
Because this GitHub Actions workflow requires a secret (for the GitHub
access token), it doesn't work on PRs from external forks of this repo.
Although the labeler action isn't required (and thus doesn't block
merging a PR) it does result a spurious  status on all PRs from
external contributors. This is not great, since new contributors might
get the impression that their CI build is failing and they need to take
actions to fix it, even though this isn't actually the case.

This branch removes the PR labeler action. A low-friction experience for
new contributors is worth more than automatically labeling PRs.

It would be nice if we could figure out a way to get both in the future,
but it's not a high priority.

Closes #360

Signed-off-by: Eliza Weisman <eliza@buoyant.io>
2019-09-24 13:31:02 -07:00
..