[arch-dev-public] build.archlinux.org now available

Hello all, A new bigger and badder build box is now available to all packagers at build.archlinux.org. home dirs (but not .cache) have been transferred to the new box from dragon and all users should have access. The new box, as previously mentioned, is roughly twice as fast as dragon and has enough memory and storage to handle some load. dragon is scheduled to be decommissioned on the 31st of January so you still have some time to check whether everything was properly transferred. Have fun! Sven