diff --git a/scripts/get_github_labels.py b/scripts/get_github_labels.py index 469a39429..0a1dfb0d2 100755 --- a/scripts/get_github_labels.py +++ b/scripts/get_github_labels.py @@ -4,9 +4,14 @@ Fetches the labels of an Issue or Pull-Request from GitHub. Parameters: --id=: the number of the the GitHub Issue or Pull-Request - --has-label=