Pull request successfully merged. Starting build...
https://blog.github.com/2018-10-26-github-and-microsoft/

> the Microsoft acquisition of GitHub is complete.