It makes me curious how they are going to deal with the issue tracker, pull requests etcetera… did they hire him also to follow up on them? I guess they don’t really count on accepting pull requests (seeing also how the font sources are not in the git).
This github repo is just here for convenience, to make it easy for developers.