On 2014-12-07 12.44, Duy Nguyen wrote:
quoted
Is this a known issue/problem ?
No.
Thanks everybody for the support.
The machine was equipped with git version 1.7.10.4 in /usr/bin.
I installed 2.1 or so under /usr/local/bin, (and even /root/bin)
thinking that this would help, but it didn't.
Because the login shell for the user "storage" which manages the push/pull
on the server side was /usr/bin/git-shell, not /usr/local/bin/git-shell.