Open
Description
openedon Nov 8, 2023
not very urgent but this repo is getting kind of big and this may come back to bite us if we need to do any operation on it at some point
suggestion : squash commits in between release and purge the history
Metadata
Assignees
Labels
No labels
Activity