24 Oct
2017
24 Oct
'17
6:01 p.m.
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/. On 12/07/17 17:29, Ben Gamari wrote:
I am very much in favor of doing something about this. Unfortunately, Chris Done stepped back from ircbrowse.net around the time that #ghc started using it for logging. Moving to a third-party service like botbot.me sounds quite reasonable to m.e