Add duplicate and support as core github issue labels (#14735)

This commit is contained in:
Peter Tripp 2024-07-18 20:21:30 +00:00 committed by GitHub
parent f15a441c9d
commit 7c63f26aa9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -18,8 +18,10 @@ CORE_LABELS: set[str] = {
"defect", "defect",
"design", "design",
"documentation", "documentation",
"duplicate",
"enhancement", "enhancement",
"panic / crash", "panic / crash",
"support",
} }
# A set of labels for adding in labels that we want present in the final # A set of labels for adding in labels that we want present in the final
# report, but that we don't want being defined as a core label, since issues # report, but that we don't want being defined as a core label, since issues