MCLab Tutorial 6(a): Version Control with Git (on GitLab.com)

High level overview:
concept of version control
concept of git repository
commit tree (w/messages)
branches
concept of remote vs local
push / pull
tools: gitlab and gitkraken
common patterns
collaboration on same branch: change things, commit, pull, merge, push
developing a new feature: branch, make changes, [commit & push [many times...]], merge branch, resolve conflicts, commit to master branch, push
in some repos, you may not have permission to actually merge. in this case you submit a pull request, and an owner of the repo reviews your pull request and accepts or rejects it.