PHP script for synchronizing GitHub repositories with remote server.