Introduction to git and GitLab