SSH based `git pull` automation using php