Re: Bringing back #ghc IRC logging

Herbert said he submitted the request months ago. As botbot.me site says they don't honor every request, so I guess we weren't selected. I'd still prefer botbot.me as it seems more stable than ircbrowse.net which also doesn't seem to work on mobile (Android, get a server error) On Wed, Oct 25, 2017, 02:55 Ben Gamari wrote:

Niklas Hambüchen writes:

...

Hey Ben,

I haven't heard of a single concern of enabling botbot.me over the last 3 months.

Can we go ahead and enable it?

All we need is a channel op to fill out https://botbot.me/request/.

Yep, let's do it. Thanks for following up on this!

Herbert, can you complete the request?

Cheers,

- Ben

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs