Addendum: Skip adding the title as a commit message if it's the same …

…as the first commit message Change-Id: I7c738b31b8f5991bc5f93118285c561c2a4719af
szucsvillo · Dec 1, 2023 · d38997d · d38997d
1 parent b9a76f8
commit d38997d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/zk-merge-pr.py b/zk-merge-pr.py
@@ -132,7 +132,8 @@ def merge_pr(pr_num, title, pr_repo_desc):
     if json_commits and isinstance(json_commits, list):
         for commit in json_commits:
             commit_message = commit['commit']['message']
-            merge_message += [commit_message]
+            if commit_message != title:
+                merge_message += [commit_message]
 
     # Check for disapproval reviews.
     json_reviewers = get_json(f"https://api.github.com/repos/{PUSH_REMOTE_NAME}/{PROJECT_NAME}/pulls/{pr_num}/reviews")