A tutorial to use Gitk