Git: do not ignore CHeffile.lock