Some fixes on git-intermedio talk