Workshops/Git

Benjie and Michael will be running a course for git beginners at some point soon.

Topics we might cover

• Overview of version control (distributed vs centralised, hashes, merges)
• Git workflow (Overview how you work with git)
• Git basics (config, clone, add, commit, push, pull, mv, rm)
• Viewing differences (status, diff, show, log)
• Git grep (grep)
• Git surgery (--patch, rebase)
• Cleaning up (reset, checkout)
• Branches and merging (branch, merge)
• Tagging (tag)
• Advanced features (bisect, rebase, show)