I haven't had a chance to look at these yet, but generated APIs are often a bit of a step down from hand curated APIs. The blog post doesn't mention any improvements, but rather focuses on the fact that GitHub can spend more time on other things.