I don't think it's necessary, firstly IRC doesn't seem to have a huge success and we don't discuss key technical points neither than important decisions (the google group or meeting are set up for that). But if you really want we can investigate a logging system with a bot (I don't know if it's easily doable). The IRC is at freenode.net, channel nowork.