Comment by randx

Thank you for feedback. We improved git push a lot since version 6. So when you update to recent version it should not be a problem anymore.