pull down to refresh

git is nice, it basically allowed massive collaboration in the last decade or so through github in particular.
Decentralized source control like git is better than centralized, like svn for example, even though svn and similar seem easier to use in the beginning.