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 ...