Nikerabbit has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/344320 )
Change subject: repong: make output even quieter ...................................................................... repong: make output even quieter Change-Id: I8216277b15e075959d9613991553f86b501158ae --- M repong/repong.php 1 file changed, 6 insertions(+), 4 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/translatewiki refs/changes/20/344320/1 diff --git a/repong/repong.php b/repong/repong.php index aaeb748..049d879 100644 --- a/repong/repong.php +++ b/repong/repong.php @@ -117,12 +117,14 @@ if ( $repo['type'] === 'git' || $repo['type'] === 'github' ) { $dir = "$base/$name"; $branch = isset( $repo['branch'] ) ? $repo['branch'] : 'master'; - $command = "cd $dir; git add .; " . - "if git commit -m '$message'; then git push origin '$branch'; fi"; + $command = + "cd $dir; git add .; if ! git diff --cached --quiet; " . + "then git commit -m '$message'; git push origin '$branch'; fi"; } elseif ( $repo['type'] === 'wmgerrit' ) { $dir = "$base/$name"; - $command = "cd $dir; git add .; " . - "if git commit -m '$message'; then git review -r origin -t L10n; fi"; + $command = + "cd $dir; git add .; if ! git diff --cached --quiet; " . + "then git commit -m '$message'; git review -r origin -t L10n; fi"; } else { throw new RuntimeException( 'Unknown repo type' ); } -- To view, visit https://gerrit.wikimedia.org/r/344320 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I8216277b15e075959d9613991553f86b501158ae Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Nikerabbit <niklas.laxst...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits