<?php

// Set Variables
$LOCAL_ROOT         = "/var/www/html/";
$LOCAL_REPO_NAME    = "banners-with-skip";
$LOCAL_REPO         = "{$LOCAL_ROOT}/{$LOCAL_REPO_NAME}";
$REMOTE_REPO        = "git@git.gotenzing.com:jeffmbalicki/banners-with-skip.git";
$BRANCH             = "deploy";



  if( file_exists($LOCAL_REPO) ) {

    // If there is already a repo, just run a git pull to grab the latest changes
    shell_exec("cd {$LOCAL_REPO} && sudo git pull");
echo 'done';
    die("done " . mktime());
  } else {
     
    // If the repo does not exist, then clone it into the parent directory
    shell_exec("cd {$LOCAL_ROOT} && sudo git clone {$REMOTE_REPO}");

    die("done " . mktime());
  }

  
?>