Microsoft-owned GitHub announced GitHub Desktop 3.0, noting that it provides better integration for developer pull requests (PRs). GitHub Desktop, for the unfamiliar, is described as an open source ...

The feature is a direct response to user requests, and is something GitHub says will be the first of many improvements to Issues and Pull Requests.