User Details
- User Since
- Sep 26 2014, 10:52 AM (443 w, 2 d)
- Availability
- Available
- LDAP User
- QChris
- MediaWiki User
- Unknown
Dec 6 2022
Oct 4 2022
While I fully support the goal to have the repo under Apache 2.0 (yay!), I cannot add my name to the list, due to commit 18144f1 :-(
Sep 8 2022
Aug 23 2022
Great debugging @Dzahn!
Aug 5 2022
Apr 3 2022
Mar 15 2022
I have requested a new istio repository in:
https://www.mediawiki.org/wiki/Gerrit/New_repositories/Requests
Mar 2 2022
Jan 16 2022
Jan 13 2022
Nov 11 2021
Sep 10 2021
Aug 20 2021
Jul 5 2021
Jun 29 2021
Jun 22 2021
Jun 16 2021
Jun 1 2021
May 10 2021
May 1 2021
Apr 27 2021
Mar 21 2021
I've just taken such a backtrace dump and pushed it as P14957
As Majavah said, it just happened again. I've restarted apache on gerrit1001, which again made the issue go away for now.
Mar 18 2021
Feb 5 2021
@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 :-)