Hi, FYI I've been just battling this pipe for a couple of hours. The first steps were easy, but since I wanted to do it incrementally, the index has to be written every so often, and I seem not to be able to get that right. But now it's time to go to bed, so this will wait for tomorrow. Ciao, Dscho - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html