https://bugzilla.wikimedia.org/show_bug.cgi?id=49846
Chad H. <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #4 from Chad H. <[email protected]> --- Fixed. 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) gerrit> update submodule_subscriptions set submodule_project_name = 'mediawiki/extensions/VisualEditor' where submodule_path = 'VisualEditor'; UPDATE 1; 2 ms 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 ----------------------------------+-----------------------+----------------------------+---------------------------+--------------- mediawiki/extensions/VisualEditor | refs/heads/master | mediawiki/extensions | refs/heads/master | VisualEditor (1 row; 1 ms) Was the extension at one point pointing to the wrong repository? Will file a bug upstream, since I guess this should've updated itself when the submodule changed. -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
