pull down to refresh

Timing is everything. I remember when I first learned Git, and learned of GitHub. One, I had no idea of any alternatives to GitHub. Two, like many others new to them, I didn’t realize Git and GitHub weren’t just different names for the same thing.