2021-12-14T21:18:40Z
pull request
The other PR is a process pioneered by GitHub (and quickly copied by its competitors) to formalize the process of collaborative software development. The applicant opens a pull request against the maintainer's code repository with their proposed changes, and the latter can review and accept it (or not).