Exploring the GitHub REST API in 7'