I don&#39;t think git push normally needs stdin, does it? Can you give some more context?<br>