Update repository-properties.md