From 9dbe68f990696b1f56bef241eb19f67a4d4b293d Mon Sep 17 00:00:00 2001
From: Abdessamad Derraz <3028866+Abdess@users.noreply.github.com>
Date: Mon, 26 Oct 2026 22:16:43 +0100
Subject: [PATCH] fix: skip the gained-names check on held pins

---
 scripts/profile_sync.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/profile_sync.py b/scripts/profile_sync.py
index f0e3bf745..599a798f5 100644
--- a/scripts/profile_sync.py
+++ b/scripts/profile_sync.py
@@ -4298,6 +4298,9 @@ def _gained_since_pin(
     """
     if args.accept_changed or not report.head or report.pin == report.head:
         return False
+    if report.pinned_tag:
+        # A held pin is not advanced at all: bump_commit says so itself.
+        return False
     if report.new_files is None and report.new_hashes is None:
         probe = argparse.Namespace(**{**vars(args), "detect_new_files": True, "watch_hashes": True})
         _attach_detection(probe, profile, report)