in gh-data.py [0:0]
def is_ignorable_issue(issue):
if "pull_request" in issue:
return True
for label in issue["labels"]:
if label["name"] in ("duplicate", "invalid", "tooling", "proposal withdrawn"):
return True
return False