From 4bd1008b70fd4088c74d39a46db27152a1be242d Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 28 Mar 2026 10:52:36 +0000 Subject: [PATCH 1/2] Initial plan From c05fa8e1be74ef584247e1dc6614282720379959 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 28 Mar 2026 10:54:21 +0000 Subject: [PATCH 2/2] Fix: use pull_request_target to allow write permissions for fork PRs Agent-Logs-Url: https://github.com/microcks/.github/sessions/2e22dda4-018d-4d9f-be58-9aff76abdd67 Co-authored-by: yada <552526+yada@users.noreply.github.com> --- .github/workflows/welcome-new-users.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/welcome-new-users.yml b/.github/workflows/welcome-new-users.yml index 08730e4..aadeb0c 100644 --- a/.github/workflows/welcome-new-users.yml +++ b/.github/workflows/welcome-new-users.yml @@ -8,7 +8,7 @@ name: Welcome New Users with Thanks and Tip non-stargazers ;-) on: issues: types: [opened] - pull_request: + pull_request_target: types: [opened, closed] # Explicitly disable all default GITHUB_TOKEN permissions at the workflow level. @@ -46,7 +46,7 @@ jobs: 🙏 It really helps the project to gain momentum and credibility. It's a small contribution back to the project with a big impact. welcome-pr-opened: - if: github.event_name == 'pull_request' && github.event.action == 'opened' + if: github.event_name == 'pull_request_target' && github.event.action == 'opened' runs-on: ubuntu-latest permissions: pull-requests: write @@ -64,7 +64,7 @@ jobs: Hope you have a great time there! welcome-pr-merged: - if: github.event_name == 'pull_request' && github.event.action == 'closed' && github.event.pull_request.merged == true + if: github.event_name == 'pull_request_target' && github.event.action == 'closed' && github.event.pull_request.merged == true runs-on: ubuntu-latest permissions: pull-requests: write