Rename defaultPublicRegistry to defaultCommunityRegistry #708
Description
The setting used to define the community registry should be renamed from defaultPublicRepository to defaultCommunityRegistry.
The setting semantic should remain unchanged.