The kernel seems better suited to something like Phabricator instead of Github. Keep Github simple and clean for our "normal" projects.