Skip to content

Conversation

pradal
Copy link
Contributor

@pradal pradal commented May 20, 2025

No description provided.

@pradal
Copy link
Contributor Author

pradal commented May 21, 2025

On solution can be to merge the label branch. What do you think?

@baugetfa
Copy link
Contributor

@pradal I cannot ask for your review because you initiated the PR. At this stage:

I think we can merge. What do you think ?

Copy link
Contributor Author

@pradal pradal left a comment

Choose a reason for hiding this comment

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

OK for me

@baugetfa baugetfa merged commit 1673c9c into master May 21, 2025
2 checks passed
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