The pull-request label enforcer is broken.
AdamHillier opened this issue · 1 comments
AdamHillier commented
When a PR is updated with a new commit, you have to remove and then re-add any pre-existing label to satisfy the PR label check.
lgeiger commented
It looks like it works again, so we can close this for now