Hi Guys,
We exceeded the allowed 4GB size of the repository, so I cleaned my local repository with BFG tool.
Size was reduced locally. git then push --force was performed. But size of remote repository has been increased by 600MB approximately.
If I understand correctly a garbage cleanup (git gc) is needed on the remote repository.
Please execute it so that we can access and work on this repository.
Thanks for your assistance.