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 today announced a bunch of new features at its virtual GitHub Universe conference including dark mode, auto-merge pull requests, and Enterprise Server 3.0.