Halo boss is leading the charge for industry diversity.

Gearbox could have developed the next Halo game.