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

GitHub is mitigating an ongoing incident causing problems with multiple services, including performing pull requests, creating or viewing issues, and even viewing repositories and commits.