Pull Request (PR, for short) can be a confusing term. It means that a contributor to a repository is requesting for the maintainers of a repository to "pull" the contributors code into the maintainer's repository. In practice, it looks a lot more like a gated push. As a result, a simpler way to think about a pull request is as a "request for code review." Additionally, pull requests aren't first order features of Git. Rather, a convention that has been built up over time that are supported by platforms like Copia, but also Github, Gitlab, etc.