User Details
- User Since
- Sep 26 2014, 10:52 AM (336 w, 2 d)
- Availability
- Available
- LDAP User
- QChris
- MediaWiki User
- Unknown
Fri, Feb 5
@CKoerner_WMF I've been told that all new repos should live in our Gerrit. I can create a Gerrit repo for you, and the code you upload there will get pushed to GitHub automatically. (This is a 1-way replication though. Gerrit overwrites GitHub. Changes on GitHub don't flow back to Gerrit.)
Dec 30 2020
(Just for reference if others read this in future: valerio.bozzolan is currently owner of all repos underneath wikimedia-it in our gerrit. So this is not a policy issue, as he could add people/adjust projects on his own)
Dec 10 2020
Dec 9 2020
The repo has been created.
The Repo has been created.
Not sure if we want to have that plugin or even look into it. I guess with the GitLab switch on the horizon, the answer is a “No”.
Dec 2 2020
The Gerrit repo is now ready to use.
Nov 20 2020
I don't have much opinion on which test results to include. @Krinkle suggested on https://gerrit.wikimedia.org/r/c/operations/puppet/+/609519/2/modules/gerrit/files/homedir/review_site/static/gerrit-theme.html#277 to limit to only "Main test build succeeded" comments, which led to omitting the results of the other tests.
Nov 18 2020
Nov 17 2020
The link https://gerrit.wikimedia.org/r/p/mediawiki/extensions/AbuseFilter/+/dashboard/default:recent works for me and shows the dashboard.
And https://gerrit.wikimedia.org/r/admin/repos/mediawiki/extensions/AbuseFilter,dashboards shows the list of dashboards as it should.
I briefly tested log.jsonLogging for the 3.2 upgrade. According to my notes, the format for @timestamp is slightly different (Z as timezone vs. +0000. That's more of a pain on the Java side than one wants to), the @version differs, and IIRC exceptions are slightly different.
Nov 4 2020
Oct 19 2020
I removed you from the mediawiki, labs-tools-wikibugs2, wikimedia-portals, and Gerrit Managers Gerrit groups ;-(
Oct 16 2020
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).
I've just created the gerrit repo mediawiki/extensions/IPInfo. The Phabricator mirror is at rEIPI.
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?