jenkins-bot has submitted this change and it was merged.
Change subject: Filter out some more git chattiness
......................................................................
Filter out some more git chattiness
Change-Id: Ia069ab211319ce60801cb041c83117fbfe549c6e
---
M bin/wikiupdate
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/wikiupdate b/bin/wikiupdate
index da0106d..bf05fdf 100755
--- a/bin/wikiupdate
+++ b/bin/wikiupdate
@@ -16,7 +16,7 @@
cd $dir
if [ -d ".git" ]; then
echo -n "$dir.. ";
- git pull --rebase |grep -v Already &
+ git pull --rebase |egrep -v "(Already|rewinding|up to
date)" &
let count+=1; [[ $((count%10)) -eq 0 ]] && wait
fi
cd ..
--
To view, visit https://gerrit.wikimedia.org/r/55857
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia069ab211319ce60801cb041c83117fbfe549c6e
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
