fix(scripts): resolve Gitea label names to IDs in issue filer

Gitea's create-issue API takes label IDs, not names, so the filer would
have dropped/errored on string labels. Resolve names against the repo's
labels and include only those that exist. Used to file the concurrency
issues #508-#514.

dev/scripts/file_concurrency_issues.py

@@ -188,12 +188,20 @@ def main() -> None:
 
     client = GiteaClient(token, base_url=args.base_url)
     try:
+        # Gitea wants label IDs, not names — resolve against the repo's
+        # labels and silently drop any that don't exist.
+        existing = {
+            lab["name"]: lab["id"]
+            for lab in client.get(
+                f"/repos/{OWNER}/{REPO}/labels", params={"limit": 100}
+            ).json()
+        }
         for i in issues:
-            res = client.create_issue(
-                OWNER,
-                REPO,
-                {"title": i["title"], "body": i["body"], "labels": i["labels"]},
-            )
+            body = {"title": i["title"], "body": i["body"]}
+            ids = [existing[n] for n in i["labels"] if n in existing]
+            if ids:
+                body["labels"] = ids
+            res = client.create_issue(OWNER, REPO, body)
             print(
                 f"filed #{res.get('number')}  {i['title']}\n  {res.get('html_url', '')}"
             )