He didn't quit/get fired/etc. His badge switched from saying Red Hat to saying IBM as part of an internal step towards integrating RH into IBM.