Skip to content

Commit

Permalink
Start logging head sha on merge
Browse files Browse the repository at this point in the history
  • Loading branch information
Scriptkiddi committed Jan 10, 2025
1 parent 50fb9b7 commit d4cb27c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion nixpkgs_merge_bot/commands/merge.py
Original file line number Diff line number Diff line change
Expand Up @@ -146,7 +146,7 @@ def merge_command(issue_comment: IssueComment, settings: Settings) -> HttpRespon
commenter_info = client.get_user_info(
issue_comment.commenter_login
).json()
log.info(f"{issue_comment.issue_number }: Trying to merge pull request")
log.info(f"{issue_comment.issue_number }: Trying to merge pull request, with head_sha: {pull_request.head_sha}")
client.merge_pull_request(
issue_comment.repo_owner,
issue_comment.repo_name,
Expand Down

0 comments on commit d4cb27c

Please sign in to comment.