If a new gets announced officially by the company (github or microsoft), this resolves as Yes. Even if that person doesn't end up as the CEO.

Resolves as No, if no announcement is made. Even if there are public rumors.
Edge cases resolve as N/A.

A new market will be created at the end of June for the next quarter.