0040デフォルトの名無しさん垢版 | 大砲2018/10/27(土) 09:00:41.00ID:5546DyDv Pull request successfully merged. Starting build... https://blog.github.com/2018-10-26-github-and-microsoft/ > the Microsoft acquisition of GitHub is complete.