An overview of the GitHub API