Well, they did get updated, the commit just looks ...
# general
a
Well, they did get updated, the commit just looks funny because it includes some local debugging that I added:
Copy code
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.