Last modified: 2014-01-10 11:36:42 UTC
With I89de0279ab52c3fa5367c0bb3e60853c3281b791, all changes that match mediawiki/.* are now sent to -dev. This means that extensions which were previously sent only to another channel, will now show up in other channels.
Note, several repos were already crossposted to #wikimedia-dev + other specific channel(s). There's no clear boundary between wanted and unwanted behaviour, AFAICS; it may even be ok like this.
Change 106680 had a related patch set uploaded by Nemo bis: Revert "Setup/restore #mediawiki-feed" https://gerrit.wikimedia.org/r/106680
Change 106680 merged by Yuvipanda: Revert "Setup/restore #mediawiki-feed" https://gerrit.wikimedia.org/r/106680