That’s interesting, the author name and date of my commit are wrong:

commit 11b84e2de124be3c5931ee567e2f21b0aa08f810
Author:     petercolberg <peter@colberg.org>
AuthorDate: Wed Jul 13 12:40:59 2016 -0400
Commit:     Steven G. Johnson <stevenj@mit.edu>
CommitDate: Wed Jul 13 12:40:59 2016 -0400

This is the commit from the pull request:

commit 61d946657e3379143a41665e09f46cba2a977791 (ucd)
Author:     Peter Colberg <peter@colberg.org>
AuthorDate: Wed Jul 13 12:27:39 2016 -0400
Commit:     Peter Colberg <peter@colberg.org>
CommitDate: Wed Jul 13 12:27:39 2016 -0400

Any idea why this is happening?