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,

Re: Bringing back #ghc IRC logging

Just the other day, someone said logging *did* work again... and indeed, it seems like it does: http://ircbrowse.net/browse/ghc?id=202340=1508883548#t1508883548 Cheers, Moritz > On Oct 25, 2017, at 9:55 AM, Ben Gamari wrote: > > Niklas Hambüchen writes: >

Re: Bringing back #ghc IRC logging

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!

Re: Bringing back #ghc IRC logging

Niklas Hambüchen writes: > Hi, > > as you may have noticed, #ghc IRC logging has been broken for months > (though the channel topic still says "Logs: http://ircbrowse.net/ghc;). > I am very much in favor of doing something about this. Unfortunately, Chris Done stepped back from