Closed joeflack4 closed 1 year ago
I think it's fine to commit it, this gives us a proper version history of the file! The important thing is to recreate it each time!
I suppose that's true, but right now the GitHub action doesn't commit it; just makes a release.
In this case: delete for sure
Overview
I think we had previously commit it for convenience, but now especially with weekly releases, I'm not sure that's helpful.