Glossary
Pull request
What is Pull request?
A pull request (PR) is a proposed set of code changes submitted for review before being merged — the standard checkpoint where a human approves work in git.
A PR bundles a diff with a summary and a discussion thread, so reviewers can read exactly what changed and request adjustments before anything lands.
Korden delivers every AI change as a pull request — making the human merge the built-in safety gate for agentic coding.
See it in action
Korden is a local-first crew of AI agents that ships pull requests on your machine. Start a 7-day free trial — no credit card.