GitHub was down for 5-10 minutes today. Two people got upvoted for reporting it. That makes no sense to me. Whenever GitHub goes down for more than 30-40 minutes, then yes, it's a serious disruption, anything else pollutes people's RSS feeds unnecessarily. Please consider this next time. Thanks.
