pull down to refresh

Git is a DVCS; it would be relatively straightforward to move to the point that it's not worth worrying about Github eventually banning the org+repo.