https://bugzilla.wikimedia.org/show_bug.cgi?id=49846
Antoine "hashar" Musso <has...@free.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|PATCH_TO_REVIEW |RESOLVED
Resolution|--- |FIXED
--- Comment #52 from Antoine "hashar" Musso <has...@free.fr> ---
After much madness, this is now fixed. I had to write a bunch of shell slave
scripts to let us properly push the VE update change to
mediawiki/extensions.git and self merge them.
The job is:
https://integration.wikimedia.org/ci/job/mwext-VisualEditor-sync-gerrit/
It managed to merge an update a few minutes ago:
https://gerrit.wikimedia.org/r/#/c/109113/
I guess the issue is fixed now. Sorry for the long time it took to get this
fixed.
--
You are receiving this mail because:
You are the assignee for the bug.
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
