Some demos of use of GitHub API

Retrieving info about a repository