Can we get irclogs.wordpress.orgWordPress.org The community site where WordPress code is created and shared by the users. This is where you can download the source code for WordPress core, plugins and themes as well as the central location for community conversations and organization. https://wordpress.org/ updated from the latest svn?
A recent commit was made to restore the listing of archives (re: #meta-2448).