From b746e9340fff8f4bca190682a8a41fcdcc70b77e Mon Sep 17 00:00:00 2001
From: Beppe Catanese <1771700+gcatanese@users.noreply.github.com>
Date: Mon, 29 Dec 2025 13:12:54 +0100
Subject: [PATCH] Modify release job condition for pull requests

Updated condition to run release job on PR merge from the same repository.
---
 .github/workflows/release.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 1c70ced9..dfbccbd7 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -22,7 +22,8 @@ on:
 
 jobs:
   release:
-    if: ${{ github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository }}
+    # Run on workflow_dispatch OR when PR is merged from same repository
+    if: ${{ github.event_name != 'pull_request' || (github.event.pull_request.merged == true && github.event.pull_request.head.repo.full_name == github.repository) }}    
     permissions:
       contents: write
       pull-requests: write