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
