Remix.run Logo
tux3 3 days ago

Pull requests took their name from the git request-pull script (which actually predates Github by a couple years): https://github.com/git/git/commit/ab421d2c7886341c246544bc8d...

It is called a pull request because you are asking someone to do a `git pull` from your branch.