[08:33:14] (03CR) 10Thiemo Mättig (WMDE): [C: 032] Add missing dependencies on module 'mediawiki.user' [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/358513 (owner: 10Fomafix) [08:38:18] (03Merged) 10jenkins-bot: Add missing dependencies on module 'mediawiki.user' [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/358513 (owner: 10Fomafix) [10:33:47] (03PS2) 10Umherirrender: API: Split description messages into summary + additional text [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/358654 (owner: 10Anomie) [10:33:52] (03CR) 10Umherirrender: [C: 032] API: Split description messages into summary + additional text [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/358654 (owner: 10Anomie) [10:36:42] (03Merged) 10jenkins-bot: API: Split description messages into summary + additional text [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/358654 (owner: 10Anomie) [10:53:44] (03CR) 10Umherirrender: [C: 032] API: Split description messages into summary + additional text [extensions/MediaWikiChat] - 10https://gerrit.wikimedia.org/r/358716 (owner: 10Anomie) [10:55:33] (03Merged) 10jenkins-bot: API: Split description messages into summary + additional text [extensions/MediaWikiChat] - 10https://gerrit.wikimedia.org/r/358716 (owner: 10Anomie) [14:36:56] (03CR) 10Anomie: "Please follow the instructions at https://www.mediawiki.org/wiki/Gerrit/Inactive_projects to make the project inactive." [extensions/Snippet] - 10https://gerrit.wikimedia.org/r/358743 (owner: 10Anomie)