Pull Request (PR) — See GIT / GitHub. Worth a standalone reminder: “in a PR” means a proposed change is awaiting review, “merged” means approved and headed to deployment.

See also: Repository, Hotfix

Related