From ccd737103663d6a0d51e3653f1c4689126d8ee55 Mon Sep 17 00:00:00 2001
From: Sachin Iyer <siyer@detail.dev>
Date: Thu, 23 Jul 2026 18:18:09 -0700
Subject: [PATCH] chore: refresh openapi.json from upstream

---
 openapi.json | 30 +++++++++++++++++++++++++++++-
 1 file changed, 29 insertions(+), 1 deletion(-)

diff --git a/openapi.json b/openapi.json
index 176d0af..e5ae35f 100644
--- a/openapi.json
+++ b/openapi.json
@@ -53,6 +53,9 @@
             "nullable": true,
             "type": "string"
           },
+          "fixPr": {
+            "$ref": "#/components/schemas/FixPr"
+          },
           "id": {
             "$ref": "#/components/schemas/BugId"
           },
@@ -184,7 +187,8 @@
           "jira",
           "asana",
           "github_issue",
-          "bug_fix_check"
+          "bug_fix_check",
+          "detail_fix_pr"
         ],
         "type": "string"
       },
@@ -209,6 +213,30 @@
         },
         "type": "object"
       },
+      "FixPr": {
+        "properties": {
+          "prNumber": {
+            "type": "integer"
+          },
+          "state": {
+            "enum": [
+              "open",
+              "merged",
+              "closed"
+            ],
+            "type": "string"
+          },
+          "url": {
+            "type": "string"
+          }
+        },
+        "required": [
+          "prNumber",
+          "url",
+          "state"
+        ],
+        "type": "object"
+      },
       "IntroducedIn": {
         "properties": {
           "author": {