This is a great idea. Github has more tools for collaboration than Trac. And their notification also works better. I think if the team can move to Github, the time for reviewing themes and educating theme authors will reduce a lot.