From 332e4d9317f4e07d88d4ab077267512d6d6f28f7 Mon Sep 17 00:00:00 2001 From: lassulus Date: Mon, 26 Aug 2024 16:32:50 +0200 Subject: [PATCH] merge: print tracking issue also in the actual comment we post to github :) --- nixpkgs_merge_bot/commands/merge.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nixpkgs_merge_bot/commands/merge.py b/nixpkgs_merge_bot/commands/merge.py index 61b2914..ecf4e6f 100644 --- 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: