Update repository_properties.md