Gay marriage opinion is the grounds for changing CEO. How about immigration opinion? Animal rights opinion? Climate change opinion? Political views?
Sorry but I have to agree with this. If the purpose of the role is to be the CEO of a company dedicated to open source software then his religion, personal beliefs, and his lifestyle choices should have no bearing on being a CEO. That includes both people who are for AND against gay marriage. We aren't supposed to discriminate on any front when hiring someone so what makes this different?
Aside from that, much of the job of being a C-level executive is about perception and trust. People need to see you're a "good person" who is frictionlessly aligned with the company's public profile. Weird outliers, like denying gay people the right to get married, cause friction.