consider removing large docs/ folder to separate repo

[isce-framework]

consider removing large docs/ folder to separate repo

[scottyhq]

Thanks @piyushrpt, note that the large files are still there in the hidden ".git" folder. See the last 3 commands above for how to remove them. The releases don't have the .git/ folder and as a result are much smaller.

[piyushrpt]

We are working on this. We would like to do this before making a release, to allow ports and other package managers to build with the smaller repo.

[piyushrpt]

Should be done now. There is a separate repo for docs now https://github.com/isce-framework/isce2-docs .

[piyushrpt]

Looking into it.

[rtburns-jpl]

You can avoid having to download the large files as of 9ede3f0 by shallow cloning e.g. with --depth=1. But if we're open to changing the commit history it's probably a good idea to nip this one in the bud.

[piyushrpt]

I agree. If the repo cloning is for deployment, using depth significantly reduces the size. I'm not able to reduce the size below 140MB. Will need to look deeper.

[rtburns-jpl]

Filter-branch wasn't working for me so I eventually just went with bfg.

git clone --mirror git://github.com/isce-framework/isce2
curl https://repo1.maven.org/maven2/com/madgag/bfg/1.13.0/bfg-1.13.0.jar > bfg.jar
java -jar bfg.jar --delete-folders docs isce2.git
cd isce2.git
git gc --prune=all

You can then force push the local mirror. It should be about 29MB when cloned.

[piyushrpt]

Looks like this should be done now? You might have to refork. Can you test this?

[scottyhq]

Looks good. down to 29Mb