With Matt’s approach, there appears a separate “Merge pull request” commit (“thewtex committed”), as well as my proposed commit (“N-Dekker committed”). With Hans, there appears only one commit, saying “N-Dekker authored and hjmjohnson committed”.
It seems to me that both approaches have their pro’s and cons. I like Matt’s approach slightly better, as it clearly indicates the merge date. (Which might be quite different from the original date of the proposed commit). But others might say that Matt’s approach pollutes the log history
When a branch is created from the tip of master and merged in before other commits have been added to master, then no other commits are necessary. However, if other commits have been merged to master in the meantime, then Git creates an additional merge commit. Sometimes this commit will also contain merge conflict resolution content that was automated or manually resolved.