MINING GITHUB with GraphQL, Python, and Redis (Tutorial/Tech Talk)