how to reduce server git repo size when delete a branch
git, github
Solution
I have resolved it by run below command in server.
`bash git gc --aggressive --prune=now `
Problem
I have use gitlabhq configed a git server. All Repos save in `/repos/` directory at server. I have a project, and have a branch, this branch have big files. For save disk space, i delete this branch use `git push origin :test`. But when i go to my git server, found this project repo size not change. So my questions is how to reduce server git repo size when delete a branch? I have used git filter-branch --tree-filter 'rm -f bigfile.zip' HEAD, also seems can not reduce server git repo size.