Browsing: PRs

Developers can merge individual pull requests or entire stacks, including via the merge queue, after which any remaining changes are…