Reputation: 99418
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.
Upvotes: 2
Views: 104
Reputation: 7845
Even if the name suggests some similarity, they have nothing to do with each other.
git pull is a command that will Fetch from and integrate with another repository or a local branch
. Typically you are on some branch on your pc and you run git pull to get all the updates that you don't have for that branch (sync between local repository and the remote).
When developers are using git, they do some changes in the code, and they create a commit with those changes. Those changes are called a patch
. Git provides commands so that you can send an email to someone else (probably someone that has permissions to write on the repository) with those changes/patch, so they can review and integrate those changes. have a look at: https://git-scm.com/docs/git-format-patch
GitHub just made this process way easier with Pull Requests, that are no more than a simple "Hey guys, I made some changes, check them out, and integrate them by clicking on this green button that says merge
"
Upvotes: 1
Reputation: 87386
A pull request on GitHub is literally a request to someone else that they pull in certain changes to their repository by running git pull
.
They can run git pull
(with the appropriate arguments) to pull in those changes or they can click buttons in the GitHub interface to do it. Either way, it has basically the same effect.
The advantage of a GitHub pull request is that it makes it easy to review the changes before merging them in and encourages public discussion of the changes.
Upvotes: 6
Reputation: 71
Not in my experience.
A pull request is basically a request for a "merge" to take place in the branch you are making the pull request to. It is a feature of GitHub, not the Git VCS.
Upvotes: 0