Who cares? You can still code and commit code. Thats the magic of a DVCS.
If its bothering you that you can't push, take a break and watch the football game, or something[1]. The Bills might win their first game this season and the Jets were playing like they're trying to lose to the Browns (but are still winning).
1. No, not everyone is American. But, even in Australia, its not even 8AM on a Monday yet. I think its safe to assume that its not the busiest time in the world.
// edit: My point (glibly made) was that this shouldn't stop you from writing code, if you don't want it to. But, there are plenty of other things to do as well, besides coding.
Git is a dvcs and while magical, GitHub isn't the only way to view a repository or its history.
If you have a clone of your project (and you do have a clone, right? One copy of anything and its never safe), the entire history is still there. You can view it with `git log` or any other web interface out there.
Believe it or not, in this case I did not have a clone of that external library, since I am using it as a jar. I was therefore relying on GitHub for browsing the actual source code.
I decided to download the new F# release on Linux. It comes with a script to install it on mono, but the DLL needs to be resigned with a key that has to be downloaded from github. So I care. But of course, my situation is the exception, not the rule.
I can probably find it elsewhere, but it's still annoying.
It doesn't stop us, no.. but for those of us who use it to collaboratively develop, and who's fabric and hudson scripts for deploying to test and production servers are pointed at it, this is a major pain in the arse.
If its bothering you that you can't push, take a break and watch the football game, or something[1]. The Bills might win their first game this season and the Jets were playing like they're trying to lose to the Browns (but are still winning).
1. No, not everyone is American. But, even in Australia, its not even 8AM on a Monday yet. I think its safe to assume that its not the busiest time in the world.
// edit: My point (glibly made) was that this shouldn't stop you from writing code, if you don't want it to. But, there are plenty of other things to do as well, besides coding.