[02:02:22] <dmehus>	 Does this channel not automatically post new bug reports/tasks tagged with `User-RhinosF1` and instead only posts updates to bug reports/tasks tagged with `User-RhinosF1`?
[02:13:17] <wikibugs>	 10User-RhinosF1, 10MediaWiki-extensions-DPLforum: Bug exists where userID is displayed instead of username in DPLforum extension - https://phabricator.wikimedia.org/T279220 (10TheVoidwalker) I don't have time to submit a patch, but it seems like an easy fix. [[https://github.com/wikimedia/mediawiki-extensions-...
[02:14:41] <dmehus>	 heh there it is :D