About Git

Git is a lovely tool. This repo collects a few things that might be useful. The goal is to show the versatility of the tool and that it can be productive (and maybe fun) to hack the development process itself.

Prepared for SWP18/DM18B, 2019-02-25, 12:30--13:30 meeting (Albertina, FZ).

TOC

1. Git is a toolkit
2. What are git objects?
3. Prompt playsi
4. Config bits
5. Edit, Patch, Rebase
6. Diff-so-fancy
7. Workflows
8. Local hooks
9. The git push workflow (remote hooks)
10. Stats (cal, theseus)
11. Wrap up, Resources