Hi,
I cleaned my local repository with BFG tool.
Size was reduced locally. git push --force was performed.
No change in the size of the remote repository was observed.
If I understand correctly a garbage cleanup (git gc) is needed on the remote repository.
Am I correct?
If so, how should it be performed?
Thanks for your assistance,
Kuti.