関連ワード:  github ceo microsoft    github owner microsoft    github ceo departure microsoft    github ceo dohmke microsoft departure    github ceo thomas dohmke resigns microsoft    microsoft github ceo change    github no independent microsoft ceo steps    is github owned by microsoft    microsoft ceo profile