Re: [Pharo-dev] Gitfiletree github diff