Skip to content

Conversation

cveticm
Copy link
Collaborator

@cveticm cveticm commented Sep 2, 2025

Proposed changes

These files have already been removed and all uses replaced by core.
They have likely come back during some merge to or from master.

@cveticm cveticm marked this pull request as ready for review September 2, 2025 14:09
@cveticm cveticm requested a review from a team as a code owner September 2, 2025 14:09
@coveralls
Copy link
Collaborator

coveralls commented Sep 2, 2025

Coverage Status

coverage: 64.154% (+0.7%) from 63.442%
when pulling 146317e on chore_remove_config
into b5c12d1 on master.

Copy link
Collaborator

@blva blva left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks for catching!

@cveticm cveticm merged commit 3326d90 into master Sep 2, 2025
26 of 28 checks passed
@cveticm cveticm deleted the chore_remove_config branch September 2, 2025 15:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants