Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix failure if there are no matching labels
If there are no matching labels, grep will exit with a non-zero status, and since the script is running with `set -e`, this causes it to fail.
- Loading branch information