Why is it called pull request GitHub?
If you’ve ever used the version control website GitHub, you’ve probably heard of pull requests. They’re a great way to collaborate with other people on a project and get feedback on your work before you make a final change to the code. But why is that called a pull request?
At its core, the idea is pretty simple. If I have some code I want to share with someone else or get their help with, I can “pull” their changes into my version of the code.