>> Is the repository supposed to record the difference between author and committer in Git commit objects? Or does that go only in the ChangeLog file?
>
> Yes, it's supposed to. Using the --author git argument, or the Author: header when committing from VC.

My bad, I thought the Change Log was enough.