Skip to content

Conversation

@Tsvetomir-Hr
Copy link
Contributor

The previous statement for resetting the DockManager state was wrong. The changes are trigger by client feedback.

@Tsvetomir-Hr Tsvetomir-Hr self-assigned this Aug 5, 2025
@Tsvetomir-Hr Tsvetomir-Hr requested review from a team as code owners August 5, 2025 13:05
@Tsvetomir-Hr Tsvetomir-Hr added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Aug 5, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Aug 5, 2025

Hello @Tsvetomir-Hr,

Check the below option if you would like to automatically generate PR to production. The automation uses the branch for the cherry-pick, and then will delete the branch. Please, do not delete it manually.

  • create PR to production

@Tsvetomir-Hr Tsvetomir-Hr merged commit 43cc722 into master Aug 6, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Aug 6, 2025

Here you are the link to your PR to production: #3159

@github-actions github-actions bot deleted the dock-state branch August 6, 2025 09:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-to-production Use this label to get a comment to choose whether to merge the PR to production

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants