[CRConrad]

> PRs are sent the way you describe because GitHub...

Oh, and here I though this discussion was about git. But you're talking GitHub.

[Blackthorn]

They used the phrase pull request, which means GitHub, because git does not have a concept of "pull request".

[keybored]

To request a pull has been a term in git(1) since 2005.

https://opensource.stackexchange.com/a/380/30121

(Is this pedantic? I guess in a lot of contexts. But you talked about the original, intended way to do it. So it seems on-topic here.)

[Blackthorn]

Yes, pull is old. Pull request, which the original poster was explicitly discussing, is a GitHub thing.

[keybored]

I was talking about “pull request”. So is the link I used.

[Blackthorn]

Right. It discussed the command "git request-pull". I do not believe the phrase "pull request" existed until GitHub popularized it.

[CRConrad]

> It discussed the command "git request-pull".

In git syntax, the command is "git request-pull".

What's that in natural language? Perhaps... "A pull request"?

[keybored]

Email: Hi, please pull the latest changes from dot dot dot

What kind of email is that?