chore: update API specs and client

ls1intum · Sep 25, 2024 · 0f2a7b7 · 0f2a7b7
1 parent fe4991c
commit 0f2a7b7
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/server/application-server/openapi.yaml b/server/application-server/openapi.yaml
@@ -231,7 +231,6 @@ components:
           $ref: "#/components/schemas/PullRequest"
     PullRequest:
       required:
-      - prNumber
       - state
       - title
       - url
@@ -253,9 +252,6 @@ components:
           type: string
         url:
           type: string
-        prNumber:
-          type: integer
-          format: int32
         state:
           type: string
           description: |-

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