Merge branch 'leaderboard-after-before' of https://github.com/ls1intu…

…m/Hephaestus into leaderboard-after-before
ls1intum · Sep 20, 2024 · 4136de1 · 4136de1
2 parents a62318d + 81fedd1
commit 4136de1
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 9 deletions.
diff --git a/server/application-server/openapi.yaml b/server/application-server/openapi.yaml
@@ -254,8 +254,9 @@ components:
           type: string
         state:
           type: string
-          description: "State of the PullRequest.\r\n Does not include the state of\
-            \ the merge."
+          description: |-
+            State of the PullRequest.
+             Does not include the state of the merge.
           enum:
           - CLOSED
           - OPEN
@@ -409,12 +410,15 @@ components:
           description: Display name of the user.
         url:
           type: string
-          description: "Unique URL to the user's profile.\r\n Not the website a user\
-            \ can set in their profile."
+          description: |-
+            Unique URL to the user's profile.
+             Not the website a user can set in their profile.
         avatarUrl:
           type: string
-          description: "URL to the user's avatar.\r\n If unavailable, a fallback can\
-            \ be generated from the login, e.g. on Github:\r\n https://github.com/{login}.png"
+          description: |-
+            URL to the user's avatar.
+             If unavailable, a fallback can be generated from the login, e.g. on Github:
+             https://github.com/{login}.png
         type:
           type: string
           description: Type of the user. Used to distinguish between users and bots.

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,7 @@ export interface PullRequest {
     title: string;
     url: string;
     /**
-     * State of the PullRequest.   Does not include the state of the merge.
+     * State of the PullRequest.  Does not include the state of the merge.
      */
     state: PullRequest.StateEnum;
     additions?: number;

diff --git a/webapp/src/app/core/modules/openapi/model/user.ts b/webapp/src/app/core/modules/openapi/model/user.ts
@@ -29,11 +29,11 @@ export interface User {
      */
     name?: string;
     /**
-     * Unique URL to the user\'s profile.   Not the website a user can set in their profile.
+     * Unique URL to the user\'s profile.  Not the website a user can set in their profile.
      */
     url: string;
     /**
-     * URL to the user\'s avatar.   If unavailable, a fallback can be generated from the login, e.g. on Github:   https://github.com/{login}.png
+     * URL to the user\'s avatar.  If unavailable, a fallback can be generated from the login, e.g. on Github:  https://github.com/{login}.png
      */
     avatarUrl?: string;
     /**