diff options
author | Remi Collet <fedora@famillecollet.com> | 2017-03-28 11:15:24 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2017-03-28 11:15:24 +0200 |
commit | 544be3856a701befe50cbe58071f9a34ce325958 (patch) | |
tree | 1489e8992a98c01c320b6ffb77c833b7233fc729 /git2rss | |
parent | 274de3ea2657f627114c2e9ed0a75769cd62e5d4 (diff) |
use GIT2RSS prefix in all output
Diffstat (limited to 'git2rss')
-rwxr-xr-x | git2rss | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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'); |