Playing with the Eclipse git repo explorer