Re: [Pharo-users] Pushing to GitHub repository from my iceberg repository is hung (beachball). How do I interrupt the process?

[Stéphane Ducasse]

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