From f8f5bd0fd888762c9450747b00f3b27b57dfd079 Mon Sep 17 00:00:00 2001
From: Matej Dujava <mdujava@redhat.com>
Date: Thu, 22 Oct 2026 16:20:48 +0200
Subject: [PATCH] Merge pull request #1121 from mastastny/issue-1046

Extend github_pre_release to detect missing Pipfile.lock

(cherry picked from commit 703612db52cf17a7150b1d0ac3e1d1fd2e429f88)
---
 .github/workflows/github_pre_release.yaml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/github_pre_release.yaml b/.github/workflows/github_pre_release.yaml
index 586233056..92ecbffac 100644
--- a/.github/workflows/github_pre_release.yaml
+++ b/.github/workflows/github_pre_release.yaml
@@ -13,7 +13,14 @@ jobs:
         with:
           fetch-depth: 0
       - name: github_pre_release
-        run: git log --no-merges --pretty=oneline|grep -m1 'v[0-9.]*rc[0-9]*'|(read COMMIT MSG; gh release create "v${MSG##*-v}" -p --generate-notes --target $COMMIT)
+        run: |
+          git log --no-merges --pretty=oneline|grep -m1 'v[0-9.]*rc[0-9]*'|(read COMMIT MSG
+            if ! git ls-tree "$COMMIT" -- Pipfile.lock | grep -q .; then
+              echo "::error::Pipfile.lock is missing from commit $COMMIT. The PR was likely squash-merged — use 'Rebase and merge' instead."
+              exit 1
+            fi
+            gh release create "v${MSG##*-v}" -p --generate-notes --target "$COMMIT"
+          )
         env:
           # github-actions account doesn't seem to trigger events, therefore different account must be used
           GITHUB_TOKEN: ${{ secrets.BOTBEZBOT_TOKEN }}