[17:34:17] <cscott_web>	 is there an irc channel for the dev summit?
[17:34:48] <cscott_web>	 (IRC ports seem to be blocked on the summit wifi, btw; I had to use webchat.freenode.net to connect)
[18:09:33] <brion>	 i thought last time we had our own wifi here... maybe i just don't remember having the port blocking last year
[18:09:45] <brion>	 i hven't seen a specific channel yet
[18:09:50] <brion>	 use #mediawiki i guess :D
[18:09:54] <brion>	 or #wikimedia-dev
[18:11:15] <cscott_web>	 i've been using #wikimedia-tech, since robla mentioned before the summit that was his preferred venue for session discussion
[18:11:35] <brion>	 ok
[18:12:02] <cscott_web>	 brion: i agree, i thought we had our own wifi (or some such) last year as well.