A script (and some config files) with which you can automatically synchronize a git repository on a server
