A very small example of using git in connection with github