From 809bdfbfacdce0cd1c08599a66e64ad52e27dcac Mon Sep 17 00:00:00 2001
From: Ivan Razumov <iarspider@gmail.com>
Date: Fri, 13 Dec 2024 16:59:51 +0100
Subject: [PATCH] Remove unnecessary check

---
 process_pr.py | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/process_pr.py b/process_pr.py
index 49dfc9b09bd..524f657c1c5 100644
--- a/process_pr.py
+++ b/process_pr.py
@@ -1674,13 +1674,6 @@ def process_pr(repo_config, gh, repo, issue, dryRun, cmsbuild_user=None, force=F
 
         print("Processing commits")
 
-        if not pull_request_updated:
-            _bot_cache_shas = set(bot_cache["commits"].keys())
-            diff = all_commit_shas.difference(_bot_cache_shas)
-            if diff:
-                print("Setting pull-request-update to True:", len(diff), "new commit(s)")
-                pull_request_updated = True
-
         # Make sure to mark squashed=False if a cached/squashed commit is added back
         for commit_sha in [
             sha