Update git-pull-from-github.sh