We also use this for the pants "global" lock. And yes, we can just gitignore it