[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.

[thewhitetulip]

cool