pull down to refresh

The Github repo is by no means a centralized failure point. The amount of cloned copies of the repo out there make it impossible to kidnap the code.
Devs could easily gather around in another git server. It's trivial technology.