Notes on Git, GitHub and GitHub Desktop