Revisit .crocqcache purpose and format #62
Labels
No labels
blocked
bug
priority!
quick-pick
No milestone
No project
No assignees
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
code2rocq/crocq#62
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Right now it also contains folder-wide config such as auto generate model. That could be potentially inside some other file (dedicated
.crocqconfigfile) or be controlled at file-level rather than folder-level.It could also use a comment on top specifying whether we'd recommend tracking it in Git or not.
should probably also contain versions of crocq, clightgen, rocq which is used for the project? and I think therefore it should be checked into git. Else we can have a local cache just for the hashes and a git checked config
Revisit .crocqcache purpose and formatto Revisit.crocqcachepurpose and format