fixing serious issue in git tool: make fetch before push work again