Small enhancement to install.sh to keep git repo in sync on remote