chore: update API specs and client

ls1intum · Sep 18, 2024 · 51c1dfc · 51c1dfc
1 parent 6ad7cb8
commit 51c1dfc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/server/application-server/openapi.yaml b/server/application-server/openapi.yaml
@@ -218,7 +218,7 @@ components:
           $ref: "#/components/schemas/PullRequest"
     PullRequest:
       required:
-      - number
+      - prNumber
       - state
       - title
       - url
@@ -237,7 +237,7 @@ components:
           type: string
         url:
           type: string
-        number:
+        prNumber:
           type: integer
           format: int32
         state:

diff --git a/webapp/src/app/core/modules/openapi/model/pull-request.ts b/webapp/src/app/core/modules/openapi/model/pull-request.ts
@@ -22,7 +22,7 @@ export interface PullRequest {
     updatedAt?: string;
     title: string;
     url: string;
-    number: number;
+    prNumber: number;
     /**
      * State of the PullRequest.  Does not include the state of the merge.
      */