Hey,
Just giving a heads up for developers using GIT to access public repositories : a vulnerability has been found and can lead to arbitrary code to be run on the client machine if the latter uses a case insensitive file system.
It seems that the git tree can be crafted to fool the git client...