Hello, could you provide the username and repo name in question? Remember that the git server contains a full copy of the git repo, so even if you git push -f that will not remove objects already pushed (the same is true for GitHub). The only way to truly remove data from the server is to delete and re-create the repository.
Thank you Lars.
Now I appreciate more what the –f switch is doing.
Is it possible to empty the repo, but keep the builds?
I think that you can create a new repo, leaving the previous as it is now with the builds you already have.
Sent from my mighty Windows Phone