Use number field for issue ID

hardisgroupcom · Sep 11, 2023 · 6ad7d00 · 6ad7d00
1 parent 8e42977
commit 6ad7d00
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/common/gitProvider/github.ts b/src/common/gitProvider/github.ts
@@ -34,7 +34,7 @@ export class GithubProvider extends GitProviderRoot {
     });
     if (latestPullRequestsOnBranch.data.length > 0) {
       const latestPullRequest = latestPullRequestsOnBranch.data[0];
-      const latestPullRequestId = latestPullRequest.id;
+      const latestPullRequestId = latestPullRequest.number;
       uxLog(this, c.grey(`[GitHub integration] Listing comments for PR ${latestPullRequestId}`));
       const existingComments = await this.octokit.rest.issues.listComments({
         owner: repoOwner,