Use git filter-branch to remove file

GitFilterBranchFile.md

Use git filter-branch to remove file from repo

File already pushed to github. In this case it's too big and should have been compressed first. This is how to remove it completely. If others have their own copies of repo, will need to coordinate with them.

Issue command from root of local copy of repo:

$ git filter-branch --tree-filter 'rm -f resources/products.json' -- --all

Force push change to github remote repo (set as origin):

$ git push origin --force --all