.mailmap: replace Karsten Blees' default address #2029
Closed
GitGitGadget / handle_pr_push
succeeded
Jan 9, 2026 in 20s
Handle PR push
Handling new commits in #2029
Details
This handles #2029, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/20861179870 for details.
Loading