Re: [dev-servo] The future of irc.mozilla.org/#servo

2019-12-19 Thread Kent Sandvik
Use Riot / Matrix to keep things consistent. --Kent On Thu, Dec 19, 2019 at 10:33 AM Manish Goregaokar wrote: > My main concern is that I would rather not have to run Yet Another electron > app, especially given the terrible battery life my laptop has on Linux. > > It seems like I should be able

Re: [dev-servo] The future of irc.mozilla.org/#servo

2019-12-19 Thread Manish Goregaokar
My main concern is that I would rather not have to run Yet Another electron app, especially given the terrible battery life my laptop has on Linux. It seems like I should be able to bridge with irssi, or perhaps try out a web based client, so I'm fine with switching, but i'm also okay with staying

Re: [dev-servo] The future of irc.mozilla.org/#servo

2019-12-19 Thread Alan Jeffrey
I've been using the IRC <-> Matrix bridge and the matrix client, and I've been quite happy with them. I'd be in favour of moving to matrix, it seems pretty decent, the ToS / CPG will be easier, and there's a certain weight in numbers. The main effort would be updating the bots, but with a bit of lu

Re: [dev-servo] The future of irc.mozilla.org/#servo

2019-12-19 Thread Simon Sapin
I’ve been mostly happy with IRC, but for #servo I think I’d like to try out Matrix since many Mozillians will need it anyway. https://view.matrix.org/ can presumably fulfill public logging (and might be maintained by more than one person). Porting bots to a different protocol would take some

Re: [dev-servo] The future of irc.mozilla.org/#servo

2019-12-19 Thread Lars Bergstrom
Has anybody got experience with the Discord<->Matrix bridge ( https://matrix.org/bridges/#discord )? Like the rest of Mozilla, I don't particularly enjoy Discord's terms of service / privacy policy, but I'm part of a zillion Discord servers for other communities. Whereas #servo IRC is my last rema

[dev-servo] The future of irc.mozilla.org/#servo

2019-12-19 Thread Josh Bowman-Matthews
Hi folks! Mozilla has announced [1] that irc.mozilla.org is being officially replaced by an instance of Riot/Matrix, so we now need to make a decision about what happens next. The server will shut down in March 2020, and I see two possible outcomes for our official day-to-day synchronous projec