Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Removing pmd #1028

Merged
merged 2 commits into from
Nov 18, 2024
Merged

Removing pmd #1028

merged 2 commits into from
Nov 18, 2024

Conversation

sebastian-peter
Copy link
Member

Resolves #1027

@sebastian-peter sebastian-peter added the dependencies Pull requests that update a dependency file label Nov 18, 2024
@sebastian-peter sebastian-peter added this to the Version 4.0 milestone Nov 18, 2024
@sebastian-peter sebastian-peter self-assigned this Nov 18, 2024
PhilippSchmelter
PhilippSchmelter approved these changes Nov 18, 2024
View reviewed changes
Copy link
Contributor

@PhilippSchmelter PhilippSchmelter left a comment

Choose a reason for hiding this comment

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

Looks good to me :)

@danielfeismann danielfeismann merged commit d628d1b into dev Nov 18, 2024
4 checks passed
@danielfeismann danielfeismann deleted the sp/#1027-remove-pmd branch November 18, 2024 14:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@PhilippSchmelter PhilippSchmelter PhilippSchmelter approved these changes

@danielfeismann danielfeismann Awaiting requested review from danielfeismann

Assignees

@sebastian-peter sebastian-peter

Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Milestone
Version 4.0
Development

Successfully merging this pull request may close these issues.

Remove pmd
3 participants
@sebastian-peter @PhilippSchmelter @danielfeismann