stdin is not a tty git push