Revision d52571d5c10efeb35ceeeb17f9b5e5f0ca1c3019 authored by Junio C Hamano on 14 March 2014, 21:26:04 UTC, committed by Junio C Hamano on 14 March 2014, 21:26:05 UTC
"git push" did not pay attention to branch.*.pushremote if it is defined earlier than remote.pushdefault; the order of these two variables in the configuration file should not matter, but it did by mistake. * jk/remote-pushremote-config-reading: remote: handle pushremote config in any order
check_bindir
#!/bin/sh
bindir="$1"
gitexecdir="$2"
gitcmd="$3"
if test "$bindir" != "$gitexecdir" -a -x "$gitcmd"
then
echo
echo "!! You have installed git-* commands to new gitexecdir."
echo "!! Old version git-* commands still remain in bindir."
echo "!! Mixing two versions of Git will lead to problems."
echo "!! Please remove old version commands in bindir now."
echo
fi
Computing file changes ...
