Merge branch 'maint' of git://repo.or.cz/git-gui into maint

[git] / fixup-builtins

#!/bin/sh
while [ "$1" ]
do
        old="$1"
        new=$(echo "$1" | sed 's/git-/git /')
        echo "Converting '$old' to '$new'"
        git ls-files '*.sh' | while read file
        do
                sed "s/\\<$old\\>/$new/g" < $file > $file.new
                chmod --reference=$file $file.new
                mv $file.new $file
        done
        shift
done
git update-index --refresh >& /dev/null
exit 0