Efficient GitHub Crawling Using the GraphQL API