My understanding of git and GitHub