github_stupid_deployement_script.php

<?php

// ultra basique et non sécurisé
if($_SERVER['REQUEST_METHOD'] === 'POST' && $_SERVER['HTTP_X_GITHUB_EVENT'] == 'push'){
        $path = getProjectPath();
        exec("cd ".$path." && git pull origin master");
    }
}

/**
 * Dépend de l'endroit où le projet est cloné en SSH
 */
function getProjectPath()
{
    return __DIR__.DIRECTORY_SEPARATOR.'projet-1';
}