Corrupt git index on one of our builders (was: Job Failed #760068620)
Job #760068620 failed for c84afa6d:
Not quite sure what's going on there, but I've seen this failure a couple of times now. Usually, retrying the job helps, but it is annoying...