https://bugzilla.wikimedia.org/show_bug.cgi?id=49846
James Forrester <jforres...@wikimedia.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution|--- |FIXED
--- Comment #22 from James Forrester <jforres...@wikimedia.org> ---
(In reply to comment #21)
> Does anybody plan to investigate on this ticket?
> Or is this "working for us" right now?
>
> Wondering if this should still be open, and what's the way forward.
The problem was that there was more than one git repos on gerrit called
"VisualEditor" (namely, mediawiki/extensions/VisualEditor.git and
VisualEditor.git with its subsidiaries VisualEditor/core.git,
VisualEditor/plugins/<foo>.git etc.). We created the other repos to move the
code out of MW and make VE properly stand-alone and shippable, but thought we
have split the code, we hadn't yet moved the core of VE into the new repo).
As a quick hack, Chad deleted the extra repos, which seems to have fixed
everything, which means the issue is fixed (and has a known cause), but this
isn't sustainable in the longer term as we will likely want to actually do the
repo split some time soon (though we could work around the restriction on repo
names)…
Marking as "FIXED", but it's more like "AVOIDED AT SOME COST".
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
