tdf-infra IRC channel

Hello,

sorry for the crossposting, but I think that everyone in the Cc list might be interested. :wink:

We have just set-up a channel called #tdf-infra. It's a public IRC channel at FreeNode, for anyone involved in website, wiki, mailing lists, gerrit and the like.

In contrast to the private admin channel, anyone can join and is welcome to - it makes things easier and quicker sometimes, and some admins are idling around as well.

Thanks to David for the initiative!

Florian

Fantastic !!! We can start writing "you should ping infra" as they are
doing on the Apache OO mailing lists...