Merge pull request #108 from NixOS/success_tracking

track successfull merges in #306934
NixOS · Aug 25, 2024 · 8703a04 · 8703a04
2 parents 58053f6 + d04844a
commit 8703a04
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
@@ -156,7 +156,7 @@ def merge_command(issue_comment: IssueComment, settings: Settings) -> HttpRespon
                     issue_comment.issue_number,
                     pull_request.head_sha,
                 )
-                log.info(f"{issue_comment.issue_number }: Merge completed")
+                log.info(f"{issue_comment.issue_number }: Merge completed (#306934)")
                 client.create_issue_comment(
                     issue_comment.repo_owner,
                     issue_comment.repo_name,