Why is it called a pull request

When you're ready for feedback, submit a pull request. 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.

Sabiendo esto, how do you name a pull request?

1. Short and descriptive summary.
2. Start with corresponding ticket/story id (e.g. from Jira, GitHub issue, etc.)
3. Should be capitalized and written in imperative present tense.
4. Not end with period.

Otra pregunta sería, what is a GitHub pull request?

Pull Requests are the heart of collaboration on GitHub. When you open a pull request, you're proposing your changes and requesting that someone review and pull in your contribution and merge them into their branch. Pull requests show diffs, or differences, of the content from both branches.

En cualquier caso, what exactly is a pull request?

1. A pull request (PR) is a method of submitting contributions to an open development project. It occurs when a developer asks for changes committed to an external repository to be considered for inclusion in a project's main repository after the peer review.