Docker build phase: first checkout, then display short git log (not vice versa)