From 589b5d6fd960ff10fecfb7b2274f6c4201cb2b2b Mon Sep 17 00:00:00 2001
From: Bruno Virlet <bvirlet@users.noreply.github.com>
Date: Wed, 26 Nov 2025 13:39:05 +0100
Subject: [PATCH] Properly diff the PR against `master`
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

So when master moves forward, the new commits on master are also included in `base...head`, which makes it look like parts of the PR are “reverting” them.

When reviewing the PR, don't use the `base...head` notation (which includes all commits reachable from base or head BUT not from both). Instead, use `base..head` (commits reachable from head which are not reachable from base).
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index bccb3d9..a575a14 100644
--- a/README.md
+++ b/README.md
@@ -55,7 +55,7 @@ jobs:
             This is PR #${{ github.event.pull_request.number }} for ${{ github.repository }}.
 
             Review ONLY the changes introduced by the PR, so consider:
-               git log --oneline ${{ github.event.pull_request.base.sha }}...${{ github.event.pull_request.head.sha }}
+               git log --oneline ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }}
 
             Suggest any improvements, potential bugs, or issues.
             Be concise and specific in your feedback.