From f48828351c759ef63e015ca9806406fab278c458 Mon Sep 17 00:00:00 2001
From: Mary <me@thog.eu>
Date: Fri, 14 May 2021 11:08:46 +0200
Subject: [PATCH] ci: Do not enforce userid on nightly PR comment
This avoid issues when two different users work on a single PR.
---
.github/workflows/nightly_pr_comment.yml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/.github/workflows/nightly_pr_comment.yml b/.github/workflows/nightly_pr_comment.yml
index c6f7528c18..7145b7b69f 100644
--- a/.github/workflows/nightly_pr_comment.yml
+++ b/.github/workflows/nightly_pr_comment.yml
@@ -14,13 +14,12 @@ jobs:
const {owner, repo} = context.repo;
const run_id = ${{github.event.workflow_run.id}};
const pull_head_sha = '${{github.event.workflow_run.head_sha}}';
- const pull_user_id = ${{github.event.sender.id}};
const issue_number = await (async () => {
const pulls = await github.pulls.list({owner, repo});
for await (const {data} of github.paginate.iterator(pulls)) {
for (const pull of data) {
- if (pull.head.sha === pull_head_sha && pull.user.id === pull_user_id) {
+ if (pull.head.sha === pull_head_sha) {
return pull.number;
}
}