Closed omerXfaruq closed 2 years ago
It would make sense to delete the dist/*
files. All other ones are static files needed for the website.
are you going to rewrite the repo history? There are a lot of risks/annoyances doing that (for instance, everyone who has a local clone will need to recreate it), so you should make sure it's really worth it (and not do it too often) cc @lysandrejik
After spending some time on stack overflow and git documentation, I think that this is not that necessary. Because we won't be removing that many files, and it is ~8MB which would not probably worth it.
👍 thanks for looking into it. Do you want to go ahead and close the issue?
Is your feature request related to a problem? Please describe. There is unnecessary big files in the git history, and that makes the history cumbersome.
Describe the solution you'd like These files can be deleted from the history and the history would be lighter.
Additional context