Yesterday when I tried editing the file directly, git refused to recognize that it had changed. Today, it worked. Go figure.