git clone https://git.snt.utwente.nl/silke/git_course.git # Clone this course
git checkout -b some-branch-name # Create a branch
git add <file> # Stage <file> for commit.
git commit # Commit all staged changes.
git push -u origin some-branch-name # Push and set the upstream of this branch# to `some-branch-name`
git push # Regular push
git merge other-branch-name # Merge another branch into this one