Lecture 5 — Version control with Git Fri 16 Oct 2026 · Boris Bolliet Slides Notes Self-test Recording Content Repositories and history Repositories and commits Working tree, index and history Branches and merges Branches Merges and conflicts Sharing a repository Remotes, forks and pull requests Ignored files, credentials and large data Correcting and marking history Reversing changes Tags and analysis provenance Exercises with solutions