Mon, Oct 19
I removed you from the mediawiki, labs-tools-wikibugs2, wikimedia-portals, and Gerrit Managers Gerrit groups ;-(
Fri, Oct 16
Sep 3 2020
@MarkAHershberger: The Gerrit/Git part of the unarchiving is done. Can I leave the rest (Extension's Wiki page etc) to you?
Sep 1 2020
Aug 31 2020
You're right, that we're trying to use CamelCase names for new extensions.
But for one reason or the other, you'll find quite a few repos where naming is inconsistent. Like all lowercase. All uppercase. Abbreviations not using consistent casing (E.g.: API vs. Api).
Aug 13 2020
I just hope this is a temporary glitch.
Aug 12 2020
According to Gerrit's backend storage, the above mentioned changes are both starred by you. So the emails you received are expected.
Aug 11 2020
Aug 9 2020
Since it seems the second poll with the circled original gerrit did not happen, I'll try to move forward with the green git icon (winner of V21).
Aug 6 2020
Aug 3 2020
The poll has ended. 54 people voted.
Jul 29 2020
Jul 28 2020
It seems we're left now with too many choices to move forward :-)
Jul 22 2020
Yup, that's not good.
Making the web UI work, would need more than just a few adaptions. Hence, declining.
Jul 18 2020
Jul 16 2020
Nice! Thanks for confirming.
Jul 15 2020
As explained in the bug description above, our comments/reviews/... are not getting sent to a third party. Hence, closing this bug.
Jul 13 2020
The Repo got created yesterday
Repo has been created.
Jul 12 2020
Is this functionality intentionally disabled?