workflow/release: further refinements

This tweaks the release GH workflow further so that it only triggers
when the `configure.ac` file (which owns the version) changes.
Plus it properly checkouts the PR branch to avoid wrongly looking
at a synthetic merge commit.

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index b2cf3f5a538a70aab3b252cd6fca75208004fd28..77a5bda3054cfac237d949ede3f20f1e61bc56d8 100644 (file)
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -4,6 +4,8 @@ name: Release
 on:
   pull_request:
     branches: [master]
+    paths:
+      - 'configure.ac'
 
 jobs:
   ci-release-build:
@@ -14,6 +16,7 @@ jobs:
       - name: Clone repository
         uses: actions/checkout@v2
         with:
+          ref: ${{ github.event.pull_request.head.sha }}
           submodules: 'recursive'
           fetch-depth: '0'
       - name: Checkout (HEAD)