DevOps and Microsoft's acquisition of GitHub, with Dave McKinstry (Microsoft)