[08:40:04] haha eileen, it's based on preference really. I prefer Dami, but some others with the same full name might want to make it a nick and call there's Damy [13:20:45] (03PS1) 10VolkerE: styles: Remove unnecessary 'mediawiki.ui/variables' import [extensions/CentralNotice] - 10https://gerrit.wikimedia.org/r/910821 (https://phabricator.wikimedia.org/T332541) [14:51:45] (03CR) 10Bartosz DziewoƄski: [C: 03+2] styles: Remove unnecessary 'mediawiki.ui/variables' import [extensions/CentralNotice] - 10https://gerrit.wikimedia.org/r/910821 (https://phabricator.wikimedia.org/T332541) (owner: 10VolkerE) [14:54:07] (03Merged) 10jenkins-bot: styles: Remove unnecessary 'mediawiki.ui/variables' import [extensions/CentralNotice] - 10https://gerrit.wikimedia.org/r/910821 (https://phabricator.wikimedia.org/T332541) (owner: 10VolkerE) [20:32:46] (03CR) 10Ladsgroup: Use IDatabase::setSessionOptions() to set group_concat_max_len (031 comment) [extensions/CentralNotice] - 10https://gerrit.wikimedia.org/r/908572 (https://phabricator.wikimedia.org/T333688) (owner: 10Lucas Werkmeister (WMDE))