Glossary

pull request

Git
also: pull requests · PR

A proposal to merge one branch into another on GitHub, where the changes can be reviewed before they go in. Often shortened to "PR."