WordPress.org and all associated .org things were down for a bit today because of a network problem caused by our upstream provider. The outage lasted about an hour (12:05 – 13:05 UTC). Everything is back to normal now.