I haven't really dug into the code there, so maybe it doesn't have much. Sorry if it isn't really useful. The wiki page is probably a better resource.

The GitHub work is not really a great indicator of everything they are doing, or how busy they are. Most of the dev work is done 'behind the scenes'. A lot of the progress is not really visible until it gets close to done or is ready to check in.