I have a local git repo and a remote git repo. I inadvertantly added a large number of large files to both my local repo and my remote repo. I spend some time with BFG removing