Delete large datafiles that were committed somewhere in its history

[semvijverberg]

Problem: Somewhere along the project I accidentally pushed large files to the remote directory. This was a mistake, but the commits with the large files still exist.

[Peter9192]

https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/removing-sensitive-data-from-a-repository

[Peter9192]

Never tried it, but it looks like this BFG tool is relatively easy to use and officially recommended by github.