そもそも彼のプライベート・リポジトリを覗き見るために、Microsoft社はGithubを買ったのだ。
彼の心配ももっともなのである。