diff --git a/scripts/get_github_labels.py b/scripts/get_github_labels.py index 0a1dfb0d2..94703a07f 100755 --- a/scripts/get_github_labels.py +++ b/scripts/get_github_labels.py @@ -12,11 +12,16 @@ Exit codes: 0: success 1: any unexpected failure 2: --has-label=