Introduction to version control with git (slides)