Well, they did get updated, the commit just looks funny because it includes some local debugging that I added:

commit 755d8400703a5536cdf4d29645c6c383c901f97f
Author: Eric Ayers <zundel@squareup.com>
Date:   Tue Oct 18 07:27:34 2016 -0400

    debug file lock

Running

git diff 755d8400703a5536cdf4d29645c6c383c901f97f~1 755d8400703a5536cdf4d29645c6c383c901f97f

shows how those changes got merged in with my commit that I made to print out the pid in the error message I was getting.