[00:32:21] 10Collaboration-Team-Triage (Collab-Team-This-Quarter), 10Discovery, 10Maps, 10VisualEditor, 10Collaboration-Feature-Rollouts (Collaboration-Maps): Editing a whose GeoJSON has a wikitext link in the title of a point dirty-diffs the link to an H... - https://phabricator.wikimedia.org/T187230#4039743 [00:32:45] (03CR) 10jenkins-bot: build: Updating jakub-onderka/php-parallel-lint to 1.0.0 [extensions/PageTriage] - 10https://gerrit.wikimedia.org/r/418188 (owner: 10Libraryupgrader) [00:43:29] (03CR) 10MaxSem: [C: 032] Fix typo in word compatibility [extensions/Echo] - 10https://gerrit.wikimedia.org/r/418069 (owner: 10Umherirrender) [00:50:02] 10Collaboration-Team-Triage, 10Notifications, 10Community-Tech, 10MediaWiki-Page-editing, and 4 others: [Epic] Ping/notify user when username used in an edit summary - https://phabricator.wikimedia.org/T32750#3969770 (10MrStradivarius) Will user subpages be included? The first of the acceptance criteria ab... [00:52:54] 10Collaboration-Team-Triage, 10Notifications, 10Community-Tech, 10MediaWiki-Page-editing, and 4 others: [Epic] Ping/notify user when username used in an edit summary - https://phabricator.wikimedia.org/T32750#4039799 (10MaxSem) No, subpages will not trigger this. [01:05:45] (03Merged) 10jenkins-bot: Fix typo in word compatibility [extensions/Echo] - 10https://gerrit.wikimedia.org/r/418069 (owner: 10Umherirrender) [01:07:18] (03CR) 10jenkins-bot: Fix typo in word compatibility [extensions/Echo] - 10https://gerrit.wikimedia.org/r/418069 (owner: 10Umherirrender) [02:20:19] 10Collaboration-Team-Triage (Collab-Team-This-Quarter), 10Discovery, 10Maps, 10VisualEditor, and 2 others: Editing a whose GeoJSON has a wikitext link in the title of a point dirty-diffs the link to an HTML link - https://phabricator.wikimedia.org/T187230#3968657 (10Catrope) a:03Catrope [02:52:38] 10Collaboration-Team-Triage (Collab-Team-This-Quarter), 10Discovery, 10TCB-Team, 10Collaboration-Feature-Rollouts (Collaboration-Maps), and 2 others: Investigate how work with the Flagged Revisions extension - https://phabricator.wikimedia.org/T151665#4039923 (10Catrope) @MaxSem explained t... [11:15:39] 10MediaWiki-Watchlist: adding/removing watchlist pages is failing intermittently - https://phabricator.wikimedia.org/T189160#4040112 (10Dcljr) Well, I still don't know what the problem was, but I could not replicate it today, so I guess this task can be closed. In case you're interested: Yesterday I disabled a... [21:08:26] 10Collaboration-Team-Triage, 10Notifications, 10MediaWiki-User-management: New block option: Notify me when this block is about to expire or has expired - https://phabricator.wikimedia.org/T189391#4040629 (10MER-C) [21:10:47] 10Collaboration-Team-Triage, 10Notifications, 10MediaWiki-User-management: New block option: Notify me when this block is about to expire or has expired - https://phabricator.wikimedia.org/T189391#4040643 (10MER-C) 05Open>03stalled [21:28:40] (03CR) 10jenkins-bot: Localisation updates from https://translatewiki.net. [extensions/Echo] - 10https://gerrit.wikimedia.org/r/418649 (owner: 10L10n-bot) [21:36:07] (03CR) 10jenkins-bot: Localisation updates from https://translatewiki.net. [extensions/Flow] - 10https://gerrit.wikimedia.org/r/418654 (owner: 10L10n-bot)