Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
github_update.php
<?php $output = shell_exec('git fetch --all && git reset --hard origin/prod'); ?>
<style>
body{
background-color: #1A1A1A;
color:#fff;
}
pre{
padding:20px;
}
</style>
<body>
<pre><?php print_r( $output ); ?></pre>
</body>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment