Menu
The terminology used to merge a branch with an official repository is a 'pull request'. This is confusing, as it appears that I am requesting to push my changes to the official repository.
Why is it called a pull request and not a push request?
817
Hence, developers push the code to a different branch and then raise a pull request to merge the changes to master. An administrator then reviews the code changes in the pull request and then approves the request and merges the changes to master if the change looks good.
Push: sends commits and asks them to update their branch. This requires that things be right on their end. This cannot combine parallel development. Pull: runs git fetch , which gets commits and has your Git update your remote-tracking name, then runs a second Git command to update your branch.
Pull requests are a feature specific to GitHub. They provide a simple, web-based way to submit your work (often called “patches”) to a project. It's called a pull request because you're asking the project to pull changes from your fork.
The git push command is used to upload local repository content to a remote repository. Pushing is how you transfer commits from your local repository to a remote repo. It's the counterpart to git fetch , but whereas fetching imports commits to local branches, pushing exports commits to remote branches.
If you have a code change in your repository, and want to move it to a target repository, then:
git push). git pull from the other repo).A "pull request" is you requesting the target repository to please grab your changes.
A "push request" would be the target repository requesting you to push your changes.
103
When you send a pull request, you're asking (requesting) the official repo owner to pull some changes from your own repo. Hence "pull request".
21
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
