Hi michael I discussed with guille and pablo and they told me that this happens to them from time to time and this is related to libgit. Guille said that they do not succeed to reproduce it. They hope that moving to libgit1.0 will fix that problem. We are worried about this and we would love to have a reproducible case. S