Hi, On Thu, 6 Oct 2016, Torsten Bögershausen wrote: > >I am not suggesting that you apply this exact patch (stdin_ is not a good > choice > > How about fd_stdin ? Better: stdin_fd. Why? Prior art: $ git grep -c stdin_fd builtin/remote-ext.c:3 $ git grep -c fd_stdin Ciao, Dscho