Re: Bringing back #ghc IRC logging

2017-10-25 Thread Phyx 
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
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Bringing back #ghc IRC logging

2017-10-24 Thread Moritz Angermann 
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:
> 
>> 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

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

Re: Bringing back #ghc IRC logging

2017-10-24 Thread Ben Gamari 
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



signature.asc
Description: PGP signature
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Bringing back #ghc IRC logging

2017-07-12 Thread Ben Gamari 
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 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

Cheers,

- Ben



signature.asc
Description: PGP signature
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs