pull down to refresh

Git isn't very hard. The people who never learn it probably just aren't being forced to use it, or at least use it properly. A lot of people don't know how useful using git properly can be because they're never shown. All they use it for is prs with their hundreds of commits and merges