Re: [Pharo-dev] Iceberg and git repository management