A short example of how to use GitHub