Skip to content

Added a user-configurable external properties file [#2437]#2438

Merged
mcpierce merged 1 commit intocomixed:mainfrom
mcpierce:feature/issue-2437
Sep 13, 2025
Merged

Added a user-configurable external properties file [#2437]#2438
mcpierce merged 1 commit intocomixed:mainfrom
mcpierce:feature/issue-2437

Conversation

@mcpierce
Copy link
Contributor

Moved the properties that users shouldn't touch into an internal properties file to make it easier to add new features without requiring the user to update their configuration.

Closes #2437

Status

READY

Does this PR contain migrations?

NO

Before You Submit Your PR:

  • Have you announced your PR on the comixed-dev mailing list?
  • New feature (non-breaking change which adds functionality)
  • Bug fix (non-breaking change which fixes an issue)
  • Refactors existing code (code changes for efficiency or maintainability)
  • Updates runtime dependencies but does not add new functionality
  • Security fix (be sure to include the CVE in the commit message)
  • Breaking change (fix or feature that would cause existing functionality to change)
  • My code follows the code style of this project.
  • My change requires a change to the documentation.
  • I have updated the documentation accordingly.
  • I have read the CONTRIBUTING document.
  • I have added tests to cover my changes.
  • All new and existing tests passed.

Moved the properties that users shouldn't touch into an internal
properties file to make it easier to add new features without
requiring the user to update their configuration.
@mcpierce mcpierce added this to the 3.0 milestone Sep 13, 2025
@mcpierce mcpierce added the enhancement A pull request containing a a new feature, refactoring, or security improvement.. label Sep 13, 2025
@mcpierce mcpierce merged commit 0674bb1 into comixed:main Sep 13, 2025
2 checks passed
@mcpierce mcpierce deleted the feature/issue-2437 branch September 13, 2025 16:51
@sonarqubecloud
Copy link

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement A pull request containing a a new feature, refactoring, or security improvement..

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Externalize only the local configuration options needed

1 participant