> There's `git merge --log` which provides a short-form log in the merge > commit. >
Let's do it! Can anyone see the problem in having some of our new merge commits with this additional info, in the hope it will just catch on and become the norm (precedence > policy) ?
