> Below is the console output. Any ideas?
Clone the repository anew, and everything should be fine again.
It seems that git has been upgraded on Savannah; a comparison between
the old and the new clone shows a lot of differences in the `.git'
directory...
Maybe they forgot to set a compatibility option?
Don't forget to `transfer' your old local branches before deleting the
old repository clone! I only had two local ones, so it was rather
easy. But I guess some of you have much more...
For good cooperation with Rietveld and Allura you should also transfer
the corresponding data to `.git/config'.
Werner
