Introduction to Git remote repositories and collaboration