From 5df235565fc4f0791e12cb6ef10d73a6324501fe Mon Sep 17 00:00:00 2001 From: Christoffer Date: Mon, 10 Dec 2018 18:55:56 +0100 Subject: [PATCH] Updated roagen.php --- roagen.php | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/roagen.php b/roagen.php index bc88eae..8fffdd7 100755 --- a/roagen.php +++ b/roagen.php @@ -187,10 +187,7 @@ $fp = fopen('dn42-rpki-export.json', 'w'); fwrite($fp, $json); fclose($fp); -// Commit update JSON file -echo shell_exec(""); - -// Push to all git remote repositories +// Commit and push to all git remote repositories echo shell_exec("./update.sh 2>&1"); ?>