Raimond Spekking has submitted this change and it was merged.
Change subject: repocommit: Be more verbose for mediawiki-extensions
......................................................................
repocommit: Be more verbose for mediawiki-extensions
Makes it easier to find corrupted git repos
Change-Id: If143895eefb59734ffa00e223a50fdfe543cd5e4
---
M bin/repocommit
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Raimond Spekking: Verified; Looks good to me, approved
diff --git a/bin/repocommit b/bin/repocommit
index 882a474..ff5566b 100755
--- a/bin/repocommit
+++ b/bin/repocommit
@@ -147,6 +147,7 @@
cd $PROJECT/extensions
for i in `ls |grep -v Installer`
do
+ echo "--> $i"
cd $i
git add .
git commit -m "$COMMITMSG" && git fetch gerrit && git review -t
l10n || :
--
To view, visit https://gerrit.wikimedia.org/r/91944
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If143895eefb59734ffa00e223a50fdfe543cd5e4
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Raimond Spekking <[email protected]>
Gerrit-Reviewer: Raimond Spekking <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
