From 544be3856a701befe50cbe58071f9a34ce325958 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Tue, 28 Mar 2017 11:15:24 +0200 Subject: use GIT2RSS prefix in all output --- git2rss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/git2rss b/git2rss index 4283b10..bf966bd 100755 --- a/git2rss +++ b/git2rss @@ -44,18 +44,18 @@ if (substr($entry['repo'], -4) != '.git') { $entry['repo'] .= '.git'; } $short = substr($entry['hash'], 0, 7); -printf("Welcome %s\n", $entry['commiter']); +printf("GIT2RSS Welcome %s\n", $entry['commiter']); // Load previous changes if (file_exists(__DIR__ . '/git2rss.json')) { $json = file_get_contents(__DIR__ . '/git2rss.json'); $histo = json_decode($json, true); - printf("RSS %d entries loaded\n", count($histo)); + printf("GIT2RSS %d entries loaded\n", count($histo)); } else { $histo = array(); } -echo "RSS new entry: ${entry['author']} pushed to ${entry['repo']} (${entry['head']},$short): ${entry['comment']}\n"; +echo "GIT2RSS new entry: ${entry['author']} pushed to ${entry['repo']} (${entry['head']},$short): ${entry['comment']}\n"; // 50 recent changes, and save $histo = array_merge([$entry], $histo); @@ -95,7 +95,7 @@ foreach ($histo as $entry) { // Save RSS file_put_contents(__DIR__ . '/index.html', $feed); -printf("RSS %d entries saved\n", count($histo)); +printf("GIT2RSS %d entries saved\n", count($histo)); // standard usage passthru('git update-server-info'); -- cgit