anabelle · November 12, 2016 17:52
diff --git a/github_update.php b/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>
	<?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>