Re: [Pharo-dev] git iceberg and gitfiletree