Merge pull request #110 from NixOS/success_tracking

merge: print tracking issue also in the actual comment we post to github
NixOS · Aug 26, 2024 · 4db7e48 · 4db7e48
2 parents 910e799 + 332e4d9
commit 4db7e48
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: