jenkins-bot has submitted this change and it was merged.
Change subject: Remove Subversion code for MediaWiki extensions
......................................................................
Remove Subversion code for MediaWiki extensions
Change-Id: Iaa5ba9a6952e6308066863b4e6255913824932df
---
M bin/repoupdate
1 file changed, 0 insertions(+), 6 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/repoupdate b/bin/repoupdate
index 3e09537..3710096 100755
--- a/bin/repoupdate
+++ b/bin/repoupdate
@@ -144,12 +144,6 @@
if [ ! -d "$EXTENSION/.git" ]
then
- if [ -d "$EXTENSION" ]
- then
- svn up --set-depth exclude "$EXTENSION"
- rm -rf "$EXTENSION"
- fi
-
git clone "$REPO_MWEXTGIT/$EXTENSION.git" "$EXTENSION"
if [ "$REPO_RW" = "yes" ]
--
To view, visit https://gerrit.wikimedia.org/r/86437
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iaa5ba9a6952e6308066863b4e6255913824932df
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
