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