git lecture: improvements

During the lecture, some people converted their entire $HOME into a git repository. Probably we should mention that it's good to do git init . somewhere else...