From be1fe7ffaaecd43ee3757ea3b68b296d85545112 Mon Sep 17 00:00:00 2001
From: Jonas Jesus <jonasdasilvajesus@outlook.com>
Date: Mon, 4 May 2026 17:38:10 -0300
Subject: [PATCH] ci: diff against PR merge base, not current main tip
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The changed-MCPs detection used `git diff $BASE HEAD`, which compares
the current tip of main to HEAD — so any path main has touched since
the PR forked appeared as "changed" too. Switching to `$BASE...HEAD`
uses the merge base, restricting the list to what the PR actually
modified. Locally on this branch the result drops from 10 paths
(.github, bun.lock, discord, dropbox, github, google-gmail, …) down
to the real 3 (.github, hyperdx, scripts).

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
---
 .github/workflows/checks.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
index 3c271201..bee4f905 100644
--- a/.github/workflows/checks.yml
+++ b/.github/workflows/checks.yml
@@ -36,7 +36,7 @@ jobs:
             BASE="${{ github.event.before }}"
           fi
 
-          CHANGED=$(git diff --name-only "$BASE" HEAD | cut -d'/' -f1 | sort -u | tr '\n' ' ')
+          CHANGED=$(git diff --name-only "$BASE"...HEAD | cut -d'/' -f1 | sort -u | tr '\n' ' ')
           echo "mcps=$CHANGED" >> "$GITHUB_OUTPUT"
           echo "Changed folders: $CHANGED"