merge: print tracking issue also in the actual comment we post to git…

…hub :)
NixOS · Aug 26, 2024 · 332e4d9 · 332e4d9
1 parent 910e799
commit 332e4d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nixpkgs_merge_bot/commands/merge.py b/nixpkgs_merge_bot/commands/merge.py
@@ -161,7 +161,7 @@ def merge_command(issue_comment: IssueComment, settings: Settings) -> HttpRespon
                     issue_comment.repo_owner,
                     issue_comment.repo_name,
                     issue_comment.issue_number,
-                    "Merge completed",
+                    "Merge completed (#306934)",
                 )
                 return issue_response("merged")
             except GithubClientError as e: