Trying to update manually on deployment-bastion.pmtpa.wmflabs in /home/wikipedia/common/php-master/extensions

Looking at VisualEditor:

$ git submodule VisualEditor
3e925e634398ab80711819ee4c10a29b89854588 VisualEditor (remotes/origin/wmf/1.23wmf9-1-g3e925e6)

Although the HEAD of mediawiki/extensions.git checkout is up to date :(

Ok, so it's definitely bug 49846 coming back again.

gerrit> select * from submodule_subscriptions where submodule_project_name like '%VisualEditor%';
submodule_project_name | submodule_branch_name | super_project_project_name | super_project_branch_name | submodule_path
-----------------------+-----------------------+----------------------------+---------------------------+---------------
VisualEditor | refs/heads/master | mediawiki/extensions | refs/heads/master | VisualEditor
(1 row; 2 ms)

Which is wrong Wrong WRONG! There's a bug here, will need to report upstream.

In the meantime: we can't have submodule subscriptions where there's a repo with the same base name. Gerrit gets confused.

VisualEditor.git will have to be renamed or something if we expect mw/ext/VisualEditor to update properly.

Merging into 49846 then.

• This bug has been marked as a duplicate of bug 49846 ***