15 Dec
2018
15 Dec
'18
1:13 p.m.
Joachim Breitner
Hi,
heh, I was confused: The commit message text did not read like Ben’s voice… but that explains it. Anyways, thanks Ingo for the patch!
Contributor attribution is important, to foster motivation. Maybe we should use git-replace to fix the commit description with the correct author line?
Agreed. I did push a git note amending the commit message to attribute the change to Ingo. However, I had no idea that git-replace was a thing. It looks to be perfect for patching up this sort of mishap. I'll push a replacement. Cheers, - Ben