php script to deploy github repos to server