tools/csv: modify weight

2024-11-13 19:18:56 +00:00 · 2019-08-21 16:09:13 +02:00 · 2019-08-21 16:09:13 +02:00 · 8de01511d0
commit 8de01511d0
parent b65cabc67c
1 changed files with 2 additions and 0 deletions
--- a/tools/github_issues_to_csv.py
+++ b/tools/github_issues_to_csv.py
@ -31,6 +31,8 @@ def write_issues(r, csvout):
                    severity = l["name"]
                elif l["name"][:2] in WEIGHTS:
                    weight = l["name"][1:]
+                    if weight == "1/2":
+                        weight = "0.5"
                else:
                    labels.append(l["name"])
            if not weight: