From 74c8d9676d30c40b1f61b1e5c7ea46bd74e22cf2 Mon Sep 17 00:00:00 2001
From: Scott J Dickerson <sdickers@redhat.com>
Date: Wed, 20 Jul 2022 17:44:20 -0400
Subject: [PATCH] ci: Checkout the PR head, not the github merge commit

In the CI github action, checkout the PR head commit instead of the
`actions/checkout@v2` default of the PR merge commit.  The practical
effect of this change is the exported artifacts snapshot suffix will
contain the commit id of the last commit on the PR instead of the
magic github generated merge commit.
---
 .github/workflows/build.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a7f5bb9dc36..7b118d6ed26 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -81,6 +81,8 @@ jobs:
 
     - name: Checkout sources
       uses: actions/checkout@v2
+        with:
+          ref: ${{ github.event.pull_request.head.sha }}
 
     - name: Setup maven cache
       uses: actions/cache@v2