Skip to content

Conversation

@dimodi
Copy link
Contributor

@dimodi dimodi commented Jun 19, 2025

No description provided.

@dimodi dimodi added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Jun 19, 2025
@dimodi dimodi requested review from a team as code owners June 19, 2025 11:37
@github-actions
Copy link
Contributor

Hello @dimodi,

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
Co-authored-by: Iva Stefanova Koevska-Atanasova <koevska@progress.com>
dimodi and others added 3 commits June 20, 2025 11:08
Co-authored-by: Iva Stefanova Koevska-Atanasova <koevska@progress.com>
Co-authored-by: Iva Stefanova Koevska-Atanasova <koevska@progress.com>
@dimodi dimodi merged commit 4a15691 into master Jun 20, 2025
@github-actions
Copy link
Contributor

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

@github-actions github-actions bot deleted the filemanager-jun18 branch June 20, 2025 08:11
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

4 participants