[update-syn] avoid "git pull"

git pull merges, and merges requires human interaction, which gets cron jobs stuck