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.