Playing with collaboration using git on Github