Recover dropped +x bit from git-pull.sh by accident.