Skip to content

Conversation

@joaodinissf
Copy link
Collaborator

No description provided.

@joaodinissf joaodinissf marked this pull request as draft December 3, 2025 18:39
@joaodinissf joaodinissf force-pushed the fix-pmd-checkstyle branch 5 times, most recently from 6dbc53e to 606c4cc Compare December 3, 2025 20:05
Copy link
Member

@rubenporras rubenporras left a comment

Choose a reason for hiding this comment

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

many changes due to WS characters in files which are otherwise left untouched. I did not comment on those,, as I did not check till the end.

@joaodinissf
Copy link
Collaborator Author

These WS changes will go away when I rebase on master.
Still need to double-check & split up the marker fixes a bit better.

I'll move the PR out of draft state once it's ready for you to take a look.

@joaodinissf joaodinissf marked this pull request as ready for review December 6, 2025 20:01
@joaodinissf joaodinissf enabled auto-merge (rebase) December 6, 2025 20:02
@rubenporras
Copy link
Member

This is a duplicate of the PR we have just merged, right? If so, close?

@joaodinissf
Copy link
Collaborator Author

Yes, this could have been merged before separately. Can be closed now.

@joaodinissf joaodinissf closed this Dec 8, 2025
auto-merge was automatically disabled December 8, 2025 08:27

Pull request was closed

@joaodinissf joaodinissf deleted the fix-pmd-checkstyle branch December 8, 2025 08:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants