@echo on git push