TNO Intern

Skip to content

Deleteing git history of files greater than 10mb

due to the large number of binary files in this repo and the experimentation at the start of this project with packaging up a java VM with the ThermoGIS jar, the .git is full of history of large binary files making the repo very large in terms of size on disc. the best way to fix this is to purge the history of these large files and re-commit and push the ones actually needed (thermogis .jar, .zip with example data etc.) this will be changing the git history which is always a bit scary.