Re: IRC: Logging #ghc with ircbrowse.net

2016-11-25 Thread Boespflug, Mathieu
> > Note that currently there are no logs for any time prior to the last few > days. However, I have ZNC logs which Chris said he may be able to import > which cover the last several years of #ghc activity. If there is no > objection I would like to have him import these so we have a more >

Re: IRC: Logging #ghc with ircbrowse.net?

2016-09-10 Thread Ömer Sinan Ağacan
+1 from me. I don't have any preference to which service to use, as long as we have a logger with good uptime. I was regularly checking the logs when it was working. 2016-09-10 16:00 GMT-04:00 Ben Gamari : > Hello GHC developers, > > In the past we have relied upon

IRC: Logging #ghc with ircbrowse.net?

2016-09-10 Thread Ben Gamari
Hello GHC developers, In the past we have relied upon Phabricator's Chatlog application to log the #ghc freenode channel. While Chatlog did its job admirably, it seems that Phacility has deprecated it with no proposed replacement. Thankfully, there appears to be no shortage of alternatives. In