Hashar has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/107575


Change subject: beta: pull VisualEditor individually
......................................................................

beta: pull VisualEditor individually

Gerrit hosts two projects having the same basename:

 - /VisualEditor
 - /mediawiki/extensions/VisualEditor

Gerrit has a bug that prevent it from replicating the
mediawiki/extensions/VisualEditor changes in the super project
mediawiki/extensions. That specific project ends up being blocked to
some old commit which is not ideal.

VisualEditor has been removed from mediawiki/extensions.git by
https://gerrit.wikimedia.org/r/#/c/107574/

This patch uses git pull in mediawiki/VisualEditor to refresh the code
base.

bug: 49846
Change-Id: I4dbd392c6f67ee20619338de60a5b75fe55c377f
---
M files/misc/beta/wmf-beta-autoupdate.py
1 file changed, 12 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/75/107575/1

diff --git a/files/misc/beta/wmf-beta-autoupdate.py 
b/files/misc/beta/wmf-beta-autoupdate.py
index c1f8060..67d3d8c 100755
--- a/files/misc/beta/wmf-beta-autoupdate.py
+++ b/files/misc/beta/wmf-beta-autoupdate.py
@@ -53,6 +53,7 @@
         pull_mediawiki(),
         pull_extensions(),
         update_extensions(),
+        update_visualeditor(),
         update_l10n(),
     ]
 
@@ -114,6 +115,17 @@
         'git', 'submodule', 'update', '--init', '--recursive'])
 
 
+def update_visualeditor():
+    """Pull VisualEditor individually
+
+    VisualEditor replication to mediawiki/extensions.git is broken due to a
+    bug in Gerrit. We pull it directly without using the submodule system at
+    all. See bug 49846
+    """
+    ve_path = PATH_MWEXT + '/VisualEditor'
+    return runner(name='visualeditorpull', path=ve_path, cmd=['git', 'pull'])
+
+
 def update_l10n():
     """Localisation cache update"""
     return runner(name='mw-update-l10n', cmd=['mw-update-l10n', '--verbose'])

-- 
To view, visit https://gerrit.wikimedia.org/r/107575
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I4dbd392c6f67ee20619338de60a5b75fe55c377f
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hashar <has...@free.fr>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to