@round So write a small script to run git pull then find some way to trigger that script remotely.