Repo weighs several hundred megabytes

[kekeblom]

I just executed a git fetch which caused about 300 MiB to get downloaded and it took a good couple minutes to execute.

The largest offenders appear to be the *.pgm, *.dae, *.stl and *.so files. The so files should for sure not even be there.

The solution, as a maintenance would be to move those types of files to git large file storage. The history would need to be rewritten to fix the whole repository. This shouldn't be a big problem.