check the size of the git repo
du -hs .git/objects/
delete file using git filter-branch
git filter-branch --index-filter 'git rm --cached --ignore-unmatch pathname'
e.g. removing ".ear" files
git filter-branch --index-filter 'git rm --cached --ignore-unmatch /deployments/application.ear' HEAD
cleanup backups
git for-each-ref --format="%(refname)" refs/original/ | xargs -n 1 git update-ref -d
mark so that the garbage-cleaner does it's work
git reflog expire --expire=now --all
git gc --prune=now
force push to git repo
git push --all --force
git push --tags --force