[06:12:01] (03CR) 10jenkins-bot: build: Updating mediawiki/minus-x to 0.3.1 [extensions/PageTriage] - 10https://gerrit.wikimedia.org/r/412118 (owner: 10Libraryupgrader) [07:40:39] (03PS3) 10星耀晨曦: [Do not merge] Define the Chinese translation of Topic namespace to 话题 [extensions/Flow] - 10https://gerrit.wikimedia.org/r/406163 (https://phabricator.wikimedia.org/T185677) [12:05:42] 10Collaboration-Team-Triage, 10StructuredDiscussions, 10Chinese-Sites, 10Community-consensus-needed, 10Patch-For-Review: Define the Chinese translation of Topic namespace - https://phabricator.wikimedia.org/T185677#3981568 (10Wong128hk) With reference with T187546, the real name show be kept as "topic" w... [12:11:26] 10Collaboration-Team-Triage, 10StructuredDiscussions, 10Chinese-Sites, 10Community-consensus-needed, 10Patch-For-Review: Define the Chinese translation of Topic namespace - https://phabricator.wikimedia.org/T185677#3981570 (10RazeSoldier) 05stalled>03declined I think so. Keep english namespace name. [12:12:23] (03Abandoned) 10星耀晨曦: [Do not merge] Define the Chinese translation of Topic namespace to 话题 [extensions/Flow] - 10https://gerrit.wikimedia.org/r/406163 (https://phabricator.wikimedia.org/T185677) (owner: 10星耀晨曦) [21:56:11] (03CR) 10jenkins-bot: Localisation updates from https://translatewiki.net. [extensions/Echo] - 10https://gerrit.wikimedia.org/r/412536 (owner: 10L10n-bot) [22:00:10] (03CR) 10jenkins-bot: Localisation updates from https://translatewiki.net. [extensions/Flow] - 10https://gerrit.wikimedia.org/r/412538 (owner: 10L10n-bot)