In <https://help.github.com/articles/using-pull-requests/>

> 
> Pull requests let you tell others about changes you've pushed to a repository on GitHub. Once a pull request is sent, interested parties can review the set of changes, discuss potential modifications, and even push follow-up commits if necessary.
> 
> 
> 

`git pull` is to fetch a branch from a remote repository to a local repository.

Is github's pull request related to `git pull`?

Thanks.