jenkins-bot has submitted this change and it was merged.
Change subject: Handle wikia-quick for repocommit
......................................................................
Handle wikia-quick for repocommit
Change-Id: I08ccefac5d0660a0b54f83c707f86678916e8354
---
M bin/repocommit
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/repocommit b/bin/repocommit
index a4fef59..722d93b 100755
--- a/bin/repocommit
+++ b/bin/repocommit
@@ -54,6 +54,11 @@
for i in $GITCOMMITNOCHECKPROJECTS; do
if [ "$i" = "$PROJECT" ]
then
+ if [ "$PROJECT" = "wikia-quick" ]
+ then
+ PROJECT="wikia"
+ fi
+
gitcommitNoCheck "$PROJECT"
exit 0
fi
--
To view, visit https://gerrit.wikimedia.org/r/75125
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I08ccefac5d0660a0b54f83c707f86678916e8354
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[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
