I have a large file that can not be pushed to github
and need to do surgery on my local clone. The recommended approach is to use the BFG
tool https://rtyley.github.io/bfg-repo-cleaner/: and this requires a local mirror of a remote repo. So how can I make a mirror of the local repo in order to use that tool?
Note that the following question that has a similar title is actually mostly unrelated since it is not dealing with mirroring a local clone: Git local mirror and repository