diff --git a/scripts/get_github_labels.py b/scripts/get_github_labels.py new file mode 100755 index 000000000..469a39429 --- /dev/null +++ b/scripts/get_github_labels.py @@ -0,0 +1,71 @@ +#!/usr/bin/python +''' +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=