[Pharo-users] GitFileTree-MergeDriver and using it with git mergetool