delete `target/` from history

[hojjatabdollahi]

Cloning this repo downloads hundreds of megabytes of data because apparently target/ was committed by mistake once. You can use filter-repo to delete it from the history:

git filter-repo --path target/ --invert-paths

and then force push the branches back to github:

git push origin --all --force
git push origin --tags --force

That'll change the git hashes but the author, or date or anything else about the commits stays the same. and the repo will be a couple of megabytes.

[jotuel]

Thanks for reporting this & for the easy fix. 👍🏼