Get the newer version of a repository and update a website by just running /deploy.php?sat=MyVeryLongKey from an URL.
This DOS batch will make easier to update (i.e. make a
git pull) severall repositories at once. Just copy the .bat file under the root folder where you've your repos, update the list of repos by editing the file and that's it.