From 81575ed187d3ec1d12db32c7590211711e70145e Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 10 Dec 2025 16:18:15 +0000
Subject: [PATCH 1/2] Initial plan


From 1c444996c9fbb21756eae5b4ef71fbf92c20cada Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 10 Dec 2025 17:05:34 +0000
Subject: [PATCH 2/2] Add comment documenting IS_FORK bug fix

Document the fix that prevents IS_FORK from being incorrectly set to true
for push events by checking event type before accessing pull_request fields.
This addresses the issue where workflow run #20105424925 skipped Docker builds.

Co-authored-by: gounthar <116569+gounthar@users.noreply.github.com>
---
 .github/workflows/github-docker-registry-push.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/github-docker-registry-push.yml b/.github/workflows/github-docker-registry-push.yml
index 6aed72cb..0d6bad56 100644
--- a/.github/workflows/github-docker-registry-push.yml
+++ b/.github/workflows/github-docker-registry-push.yml
@@ -22,6 +22,8 @@ jobs:
     steps:
       - name: Check if PR is from a fork
         # This step checks if the pull request is from a fork
+        # Fixed: Check event type before accessing pull_request fields to prevent
+        # IS_FORK being incorrectly set to true for push events (issue #20105424925)
         run: |
           if [ "${{ github.event_name }}" = "pull_request" ]; then
             if [ '${{ github.event.pull_request.head.repo.full_name }}' != '${{ github.repository }}' ]; then