Ashesh Badani, Red Hat