Playing around with Github

Trying to understand what "pull" and "pull request" is about.