pull down to refresh

There's no need to use github to use git, there are alternatives like https://bitbucket.org/, but you can also run your own (or more than one) repository, and not necessarily as a web site, but using other protocoles, like SSH, thus not depending on MICROS~1 to keep your code safe.
Or, better yet, use http://www.bitkeeper.org/, the original distributed source management system.