Pull request successfully merged. Starting build...

With the Microsoft acquisition of GitHub complete, Nat Friedman joins as CEO.