Thanks for sharing that.I am not programmer so i cant follow progress, but what i can follow is activity there, and i often see github completely ignored and not updated regularly.That is not the case here tho.
It is rule of thumb, you see active github=bunch of developers working on it and improving the project.Biggest projects have most acive githubs, so it is another good metrics to use when evaluating projects.