Reports based on github issue project.

Statistics about issue in github repo TODO -- add descriptions.