# git_repo_web_sync Simple php script that after being requested syncs git repo with a catalog on the server