Hi guys.

Why's the git repo over 100MB in size for a fresh checkout?  Most of this seems to be consumed by git objects:

~/Code/infinispan/.git GIT_DIR! pwd

/Users/manik/Code/infinispan/.git

~/Code/infinispan/.git GIT_DIR! du -hs .

 54M .

Perhaps we added some large files at some point and then removed them?  If that is the case we'd need to clean up history as well.  Pls have a look at http://rtyley.github.io/bfg-repo-cleaner/ and http://stackoverflow.com/questions/6884331/git-repo-still-huge-after-large-files-removed-from-repository-history ... the repo shouldn't be more than 20 or 30 MB.

- M