|Resolved||Dzahn||T123525 reduce amount of remaining Ubuntu 12.04 (precise) systems in production|
|Resolved||Dzahn||T134223 decom argon|
|Open||None||T128592 Add redundancy to IRC recent changes service|
|Resolved||Dzahn||T123729 Migrate irc.wikimedia.org to Jessie|
|Resolved||Dzahn||T122933 Remove the "HTTPS to HTTP" url filter in the IRC feed|
Note the IRC feed URLs have been set explicitly to HTTP because of T31925: https-links should not be outputted to irc.wikimedia.org (Regression). Using https:// broke patrolling bots.
IIRC a lot of bots relying on IRC are legacy tools and some might not have any developer to do the adjustment. But maybe we can be very firm about it and highlight the RCStream system which is supposed to takeover IRC.
If there is major outcry, guess we will want to revert to http and plan on phasing out the IRC service entirely and have tools to be migrated to RCStream.
19:04 < mutante> that irc link thing there. it has a comment "can be merged anytime. no impact"
19:04 < mutante> and a scheduled deployment date of May 2nd
19:04 < RoanKattouw> Yeah, if Krinkle says that I'll happily merge+deploy
19:04 < mutante> it should have been in the earlier window but irc.wm wasn't ready due to other bugs
19:04 < grrrit-wm> (CR) Catrope: [C: 2] Remove obsolete 'https -> http' rewrite for IRC notifications [mediawiki-config] -
https://gerrit.wikimedia.org/r/217858 (https://phabricator.wikimedia.org/T122933) (owner: Faidon Liambotis)
19:04 < mutante> thanks a lot :)
per "Don't merge before May 2nd, 2016." , just on time