.mailmap: replace Karsten Blees' default address #2029
Closed
GitGitGadget / handle_pr_comment
succeeded
Jan 15, 2026 in 53s
Handle PR comment
Handling PR comment #2029 (comment)
Details
This handles #2029 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/21033523995 for details.
Loading