pull request to see how pull requests work

Just made a trivial formatting edit and am submitting my first ever GitHub pull request. Guessing you get notified of this and have an easy webby way to say "pull into my repo" or "don't".