Introduction to git, talk at tools seminar @ TU Berlin