I wonder if they'd be interested in integrating gitlabhq the open source community edition of github?