Rename repository-properties.md to repository_properties.md