Added some text

This is a note about a pull request. It was a request for the origin(i.e. the github) branch to pull my local machine's branch called "pull-request". I initiated the request by pushing from local machine to github.