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.

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

couple of small fixes and improvements to D-HyDAMO #172

Open
wants to merge 4 commits into
base: main
Choose a base branch
from

Conversation

boyandomhof
Copy link

No description provided.

Copy link

Quality Gate Passed Quality Gate passed

Kudos, no new issues were introduced!

0 New issues
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

@rhutten
Copy link
Collaborator

rhutten commented Jul 23, 2024

@RuudHurkmans, could you review this pull request with fixes and improvements from D-HyDAMO?

@rhutten rhutten requested a review from RuudHurkmans July 23, 2024 06:42
@RuudHurkmans
Copy link
Collaborator

I agree with all the fixes and changes, however , for 90% they are also (in a nearly identical way) fixed in another pull request #181. I'm not sure whether allowing this request first causes problems in merging #181, since that contains are lot more changes. Therefore I would suggest to review and merge that first and then merge the remaining changes from this PR.

@RuudHurkmans
Copy link
Collaborator

Addition: I assigned @rhutten as an additional reviewer to #181.

Copy link
Collaborator

@RuudHurkmans RuudHurkmans left a comment

Choose a reason for hiding this comment

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

As I said, I agree but suggest to merge the PR after #181 is merged to prevent conflicts. If you feel you prevent conflicts for #181, fine with me.

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.

3 participants