Someone correct me if i'm wrong, But that might be the github was for the last dev 2 years ago, Eurbids? Or probably just the last release with MikeMike.
I think MikeMike has a private github for kore until its released, He has a big release coming with a lot of things that he has been working on for 2 years that will all come in one release.

Kore has been in hibernation for years until everything could be put together, so there is hasn't been many incremental public updates.