GitTut: restore files, revert commits
GitTut: patch files: create, apply
GitTut: git-new-workdir
GitTut: backup and restore branches
GitTut: undo commits (reset)