Github down, so what?

Did you see all these tweets complaining about Github problems these days? And all these (low level) articles on tech blogs/websites? Here are some examples which made my laugh:

Github a été victime de pannes à répétition, privant les très nombreux utilisateurs d’accès à leurs sources


Which means that « developers did not have access to their sources ». Really? Developers already have their sources locally if they are working on them!

Github going down is no small thing, developers which acts as a central repository for much of the open-source code that runs our world.


Agree, it is not a « small thing » but are we speaking about a git-based system i.e. the so funky decentralized distributed version control system?! If github is down you can, at least, still continue committing things locally (Do you remember when you were using SVN?). Right?

If you still need to push your sources and share them with your dev team: git is decentralized i.e. you can change the remote repository to a temporary google code, bitbucket, repository and come back later on github. RTFM: ‘git help remote’

Do you still need more to work? Come on developers!