Comment by _Algernon_

Git is designed so that you always have the full code you're working on copied to your local machine. Github being down for a short time from time to time should be only a minor inconvenience.