Lighten the git history

[bastiencyr]

Hello @remi-braun,
The git history is pretty heavier (almost 300 Mo). By analyzing the git repo, I noticed that some files should never have been pushed. But it's up to you to decide if it is important to keep in the history.
We can easily reduce the size to 90Mb with a single command:

git-filter-repo --invert-paths --path docs/jupyter_execute --path CI/DATA --path CI/COTS --path eoreader/examples 

Notice that all this files will never been accessible in the git history. It means that if you checkout on an old branch, there will be no way to get back this folders.

You can find a complete report here:
eoreader_analysis.zip

After cleaning, the heaviest folder is "docs" (86 Mo). There are different solutions but maybe it's better to go step by step.

[bastiencyr]

On gitlab : https://docs.gitlab.com/ee/user/project/repository/reducing_the_repo_size_using_git.html