New global ID format coming to Github GraphQL API | Hacker News Reader